{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:46:50Z","timestamp":1725468410077},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387973753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0040266","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T13:01:43Z","timestamp":1155819703000},"page":"333-350","source":"Crossref","is-referenced-by-count":6,"title":["Algebraic types in PER models"],"prefix":"10.1007","author":[{"given":"J. M. E.","family":"Hyland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. P.","family":"Robinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Rosolini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(85)90135-5","volume":"39","author":"C. B\u00f6hm","year":"1985","unstructured":"C. B\u00f6hm and A. Berarducci. Automatic synthesis of typed \u03bb-programs on term algebras. Theor. Comp. Sci., 39:135\u2013154, 1985.","journal-title":"Theor. Comp. Sci."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(88)90097-7","volume":"59","author":"V. Breazu-Tannen","year":"1988","unstructured":"V. Breazu-Tannen and T. Coquand. Extensional models for polymorphism. Theor. Comp. Sci., 59:85\u2013114, 1988.","journal-title":"Theor. Comp. Sci."},{"key":"15_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"M.J. Beeson","year":"1985","unstructured":"M.J. Beeson. Foundations of Constructive Mathematics. Springer-Verlag, Berlin, 1985."},{"key":"15_CR4","volume-title":"Proceedings of the 3rd A.C.M. Workshop on Mathematical Foundations of Programming Language Semantics","author":"A. Carboni","year":"1987","unstructured":"A. Carboni, P.J. Freyd, and A. Scedrov. A categorical approach to realizability and polymorphic types. In Proceedings of the 3rd A.C.M. Workshop on Mathematical Foundations of Programming Language Semantics, Springer-Verlag, Berlin, 1987."},{"key":"15_CR5","first-page":"295","volume":"67","author":"G.S. \u010ceitin","year":"1962","unstructured":"G.S. \u010ceitin. Algorithmic operators in constructive metric spaces. Trudy Mat. Inst. Steklov, 67:295\u2013361, 1962. English translation in A.M.S. Translations (2) 64, 1\u201380.","journal-title":"Trudy Mat. Inst. Steklov"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0167-6423(86)90027-4","volume":"6","author":"J. Fairbairn","year":"1986","unstructured":"J. Fairbairn. A new type-checker for a functional programming language. Science of Computer Programming, 6:273\u2013290, 1986.","journal-title":"Science of Computer Programming"},{"key":"15_CR7","unstructured":"P.J. Freyd. personal communication, 1989."},{"key":"15_CR8","unstructured":"P.J. Freyd. Structural polymorphism. distributed notes, 1989."},{"key":"15_CR9","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0049-237X(08)70843-7","volume-title":"Proc. of the Second Scandinavian Logic Symposium","author":"J-Y. Girard","year":"1971","unstructured":"J-Y. Girard. Une extension de l'interpr\u00e9tation de g\u00f6del. In J.E. Fenstad, editor, Proc. of the Second Scandinavian Logic Symposium, pages 63\u201392, North-Holland Publishing Company, Amsterdam, 1971."},{"key":"15_CR10","unstructured":"J-Y. Girard. Interpr\u00e9tation fonctionelle et \u00e9limination des coupures de l'arithm\u00e9tique de l'ordre sup\u00e9rieur. PhD thesis, Paris, 1972."},{"key":"15_CR11","unstructured":"J.M.E. Hyland, E.P. Robinson, and G. Rosolini. The discrete objects in the effective topos. Proceedings of the London Mathematical Society, 1989. to appear."},{"key":"15_CR12","unstructured":"J.M.E. Hyland. A small complete category. In Proc. of the Conference on Church's Thesis: Fifty Years Later, 1987."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"D. Leivant. Reasoning about functional programs and complexity classes associated with type disciplines. In 24th Annual IEEE Symposium on the Foundations of Computer Science, Tucson, Arizona, pages 460\u2013496, 1983.","DOI":"10.1109\/SFCS.1983.50"},{"key":"15_CR14","unstructured":"J.C. Reynolds. Types, abstraction, and parametric polymorphism. In R.E.A. Mason, editor, Information Processing '83, pages 513\u2013523, North Holland, 1983."},{"key":"15_CR15","series-title":"Technical Report","volume-title":"Colimit completions and the effective topos","author":"E.P. Robinson","year":"1988","unstructured":"E.P. Robinson and G. Rosolini. Colimit completions and the effective topos. Technical Report 34, Universit\u00e0 degli Studi, Parma, 1988."},{"key":"15_CR16","first-page":"151","volume":"30","author":"D. Leivant","year":"1983","unstructured":"D. Leivant S. Fortune and M.J. O'Donnell. The expressiveness of simple and second-order type structures. J. A. C. M., 30:151\u2013185, 1983.","journal-title":"J. A. C. M."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"R. Statman. Number theoretic functions computable by polymorphic programs. In Proc. of the 22nd IEEE symposium on the Foundations of Computer Science, 1981.","DOI":"10.1109\/SFCS.1981.24"},{"key":"15_CR18","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/BFb0064875","volume-title":"Proceedings of the Boston Logic Colloquium","author":"W.W. Tait","year":"1975","unstructured":"W.W. Tait. A realizability interpretation of the theory of species. In R. Parikh, editor, Proceedings of the Boston Logic Colloquium, pages 240\u2013251, Springer-Verlag, Berlin, 1975."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0040266.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:39:58Z","timestamp":1607531998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0040266"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387973753"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0040266","relation":{},"subject":[]}}