{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:31Z","timestamp":1725664591449},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614401"},{"type":"electronic","value":"9783540685807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61440-0_126","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:37:44Z","timestamp":1330292264000},"page":"170-181","source":"Crossref","is-referenced-by-count":0,"title":["Effective models of polymorphism, subtyping and recursion (extended abstract)"],"prefix":"10.1007","author":[{"given":"John","family":"Mitchell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramesh","family":"Viswanathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"M Abadi and G.D. Plotkin. A PER model of polymorphism and recursive types. In Proc. IEEE Symp. on Logic in Computer Science, pages 355\u2013365, 1990.","DOI":"10.1109\/LICS.1990.113761"},{"key":"14_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible sets and structures","author":"J. Barwise","year":"1975","unstructured":"J. Barwise. Admissible sets and structures. Springer-Verlag, Berlin, 1975."},{"key":"14_CR3","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H. P. Barendregt","year":"1984","unstructured":"H. P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam, 1984. Second edition.","edition":"Second edition"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"K. Bruce and J.C. Mitchell. PER models of subtyping, recursive types and higher-order polymorphism. In Proc. 19th ACM Symp. on Principles of Programming Languages, pages 316\u2013327, January 1992.","DOI":"10.1145\/143165.143230"},{"key":"14_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171496","volume-title":"Computability: An introduction to recursive function theory","author":"N. J. Cutland","year":"1980","unstructured":"N. J. Cutland. Computability: An introduction to recursive function theory. Cambridge Univ. Press, Cambridge, 1980."},{"issue":"2","key":"14_CR6","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0890-5401(92)90019-C","volume":"98","author":"P. Freyd","year":"1992","unstructured":"P. Freyd, G. Rosolini, P. Mulry, and D. S. Scott. Extensional PER's. Information and Computation, 98(2):211\u2013227, 1992. Preliminary version appeared in Proc. IEEE Symp. on Logic in Computer Science, IEEE, 1990, 346\u2013354.","journal-title":"Information and Computation"},{"key":"14_CR7","first-page":"633","volume-title":"Handbook of Theoretical Computer Science, Volume B","author":"C. A. Gunter","year":"1990","unstructured":"C. A. Gunter and D. S. Scott, Semantic domains. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B, pages 633\u2013674. North-Holland, Amsterdam, 1990."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"W. Phoa. Effective domains and intrinsic structure. In Proc. IEEE Symp. on Logic in Computer Science, pages 366\u2013377, 1990.","DOI":"10.1109\/LICS.1990.113762"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M. Smyth","year":"1982","unstructured":"M. Smyth and G. D. Plotkin. The category-theoretic solution of recursive domain equations. SIAM J. Computing, 11:761\u2013783, 1982.","journal-title":"SIAM J. Computing"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61440-0_126.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:31:56Z","timestamp":1619573516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61440-0_126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614401","9783540685807"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-61440-0_126","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}