{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299366},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_18","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:54:55Z","timestamp":1330199695000},"page":"344-363","source":"Crossref","is-referenced-by-count":17,"title":["dI-domains as a model of polymorphism"],"prefix":"10.1007","author":[{"given":"Thierry","family":"Coquand","sequence":"first","affiliation":[]},{"given":"Carl","family":"Gunter","sequence":"additional","affiliation":[]},{"given":"Glynn","family":"Winskel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"18_CR1","unstructured":"Amadio, R., Bruce, K. B., Longo, G., The finitary projection model for second order lambda calculus and solutions to higher order domain equations. In: Logic in Computer Science, edited by A. Meyer, IEEE Computer Society Press, 1986, pp. 122\u2013130."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Berry, G., Stable models of typed \u03bb-calculi. In: Fifth International Colloquium on Automata, Languages and Programs, Springer-Verlag, Lecture Notes in Computer Science, vol. 62, 1978, pp. 72\u201389.","DOI":"10.1007\/3-540-08860-1_7"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Bruce, K. and Meyer, A., The semantics of polymorphic lambda-calculus. In: Semantics of Data Types, edited by G. Kahn, D.B. MacQueen and G. Plotkin, Lecture Notes in Computer Science, vol. 173, Springer-Verlag, 1984, pp. 131\u2013144.","DOI":"10.1007\/3-540-13346-1_6"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Coquand, T., and Ehrhard, T., An equational presentation of higher-order logic. To appear in: Category theory and computer science, Lecture Notes in Computer Science, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18508-9_19"},{"key":"18_CR5","unstructured":"Coquand, T., Gunter, C., and Winskel, G., Domain theoretic models of polymorphism. In preparation. To appear as: University of Cambridge Computer Laboratory Technical Report, 1987."},{"key":"18_CR6","unstructured":"Girard, J. Y., Interpr\u00e9tation fonctionelle et \u00e9limination des coupures de l'arithm\u00e9tique d'ordre sup\u00e9rieur. Th\u00e8se d'Etat, Universit\u00e9 Paris VII, 1972."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Girard, J. Y., The system F of variable types, fifteen years later. Theoretical Computer Science, vol. 45, 1986.","DOI":"10.1016\/0304-3975(86)90044-7"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(87)90048-4","volume":"72","author":"C. A. Gunter","year":"1987","unstructured":"Gunter, C. A., Universal profinite domains. Information and Computing, vol. 72 (1987), pp. 1\u201330.","journal-title":"Information and Computing"},{"key":"18_CR9","unstructured":"Kahn, G., and Plotkin, G., Domaines concrets. Rapport IRIA Laboria, no. 336, 1978."},{"key":"18_CR10","unstructured":"McCracken, N., An Investigation of a Programming Language with a Polymorphic Type Structure, Doctoral Dissertation, Syracuse University, 1979."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Plotkin, G., Winskel, G., Petri nets, event structures and domains. Theoretical Computer Science, vol. 13, 1981.","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"18_CR12","unstructured":"Fairbairn, J., Design and implementation of a simple typed language based on the lambda-calculus. University of Cambridge Computer Laboratory Technical Report, no. 75, 1985, 107pp."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Reynolds, J. C., Polymorphism is not set-theoretic. In: Semantics of Data Types, edited by G. Kahn, D.B. MacQueen and G. Plotkin, Lecture Notes in Computer Science, vol. 173, Springer-Verlag, 1984, pp. 145\u2013156.","DOI":"10.1007\/3-540-13346-1_7"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Reynolds, J. C., Towards a theory of type structures. In: Colloque sur la Programmation, Springer-Verlag, Lecture Notes in Computer Science 19, 1974, pp. 408\u2013425.","DOI":"10.1007\/3-540-06859-7_148"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Scott, D. S., Some ordered sets in computer science. In: Ordered Sets, edited by I. Rival., D. Reidel Publishing Company, 1981, pp. 677\u2013718.","DOI":"10.1007\/978-94-009-7798-3_22"},{"key":"18_CR16","unstructured":"Seely, R., Categorical semantics for higher order polymorphic lambda calculus. Manuscript, 1986, 33pp."},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M. B. Smyth","year":"1982","unstructured":"Smyth, M. B. and Plotkin, G. D. The category-theoretic solution of recursive domain equations. SIAM Journal of Computing, vol. 11 (1982), pp. 761\u2013783.","journal-title":"SIAM Journal of Computing"},{"key":"18_CR18","unstructured":"Winskel, G., Events in Computation. Doctoral Dissertation, University of Edinburgh, 1980."},{"key":"18_CR19","unstructured":"Winskel, G., A representation of completely distributive algebraic lattices. Report CS-83-154 of the Computer Science Department, Carnegie-Mellon University, 1983."},{"key":"18_CR20","unstructured":"Winskel, G., Event structures. University of Cambridge Computer Laboratory Technical Report, no. 95, 1986, 69pp."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:03Z","timestamp":1605644163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}