{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T12:03:22Z","timestamp":1649073802080},"reference-count":8,"publisher":"EDP Sciences","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1999,5]]},"DOI":"10.1051\/ita:1999115","type":"journal-article","created":{"date-parts":[[2003,11,14]],"date-time":"2003-11-14T15:06:50Z","timestamp":1068822410000},"page":"227-257","source":"Crossref","is-referenced-by-count":0,"title":["Normalisation of the Theory<b>T<\/b>of Cartesian Closed Categories and Conservativity of Extensions<b>T<\/b>[<i>x<\/i>] of<b>T<\/b>"],"prefix":"10.1051","volume":"33","author":[{"given":"Anne","family":"Preller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Duroux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2002,8,15]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"T. Altenkirch, M. Hofmann and T. Streicher, Categorical reconstruction of a reduction free normalisation proof, preliminary version, P. Dybjer and R. Pollacks, Eds., Proceedings CTCS '95, Springer,Lecture Notes in Computer Science953(1995) 182-199.","DOI":"10.1007\/3-540-60164-3_27"},{"key":"R2","doi-asserted-by":"crossref","unstructured":"U. Berger and H. Schwichtenberg, An inverse to the evaluation functional for typed\u03bb-calculus, inProc. of the 6th Annual IEEE Symposium of Logic in Computer Science(1991) 203-211.","DOI":"10.1109\/LICS.1991.151645"},{"key":"R3","unstructured":"D. Cubric', Embedding of a free Cartesian Closed Category in the Category of Sets.J. Pure and Applied Algebra(to appear)."},{"key":"R4","first-page":"153","volume":"8","author":"Cubric'","year":"1998","journal-title":"MSCS"},{"key":"R5","doi-asserted-by":"crossref","unstructured":"R. Di Cosmo, Isomorphisms of Types, Birkhaeuser (1995).","DOI":"10.1007\/978-1-4612-2572-0_6"},{"key":"R6","unstructured":"K. Dosen and Z. Petric', The maximality of Cartesian Categories, Rapport Institut de Recherche de Toulouse, CNRS, 97-42-R (1997)."},{"key":"R7","unstructured":"J. Lambek and P.J. Scott, Introduction to Higher Order Categorical Logic, Cambridge University Press (1989)."},{"key":"R8","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0890-5401(87)90018-6","volume":"73","author":"Obtu","year":"1987","journal-title":"Inform. and Comput."}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:1999115\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T22:59:59Z","timestamp":1585263599000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:1999115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":8,"journal-issue":{"issue":"3"},"alternative-id":["ita9912"],"URL":"https:\/\/doi.org\/10.1051\/ita:1999115","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}