{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:43Z","timestamp":1725456043454},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051662X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018353","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:50:09Z","timestamp":1132645809000},"page":"198-212","source":"Crossref","is-referenced-by-count":2,"title":["On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa"],"prefix":"10.1007","author":[{"given":"Bart","family":"Jacobs","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"The Lambda Calculus. Its syntax and semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P., [1984] The Lambda Calculus. Its syntax and semantics (revised second edition), North Holland, Amsterdam.","edition":"revised second"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/3-540-13346-1_6","volume":"173","author":"K.B. Bruce","year":"1984","unstructured":"Bruce, K.B. and Meyer, A.R., [1984] The semantics of second-order lambda calculus, in: Kahn, G., Macqueen, D.B. and Plotkin, G., (eds.), Proceedings of the Conference on Semantics of Data Types, Sophia-Antipolis, June 1984, LNCS 173, p.131\u2013144.","journal-title":"Proceedings of the Conference on Semantics of Data Types"},{"key":"13_CR3","unstructured":"Bruce, K.B., Meyer, A.R. and Mitchell, J.C., [1985] The semantics of second-order lambda calculus, manuscript."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Friedman, H., [1975] Equality between functionals, in: Parikh, R., (ed.) Logic Colloquium, Symposium on logic held at Boston, 1972\u20131973, LNM 453.","DOI":"10.1007\/BFb0064870"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(85)90062-3","volume":"41-1","author":"S. Hayashi","year":"1985","unstructured":"Hayashi, S., [1985] Adjunction of semifunctors: categorical structures in non-extensional lambda-calculus, Th. Comp. Sc., Vol 41-1, p.95\u2013104.","journal-title":"Th. Comp. Sc."},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1016\/S0019-9958(82)90796-3","volume":"52","author":"K. Koymans","year":"1982","unstructured":"Koymans, K., [1982] Models of the lambda calculus, Inf. & Contr. 52, p.306\u2013332.","journal-title":"Inf. & Contr."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Martini, S., [1987] An interval model for second order lambda calculus, in: Pitt, D.H., Poign\u00e9, A. and Rydeheard, D. (eds.), Category theory and Computer Science, Edinburgh, sept '87, LNCS 283, p.219\u2013237.","DOI":"10.1007\/3-540-18508-9_28"},{"key":"13_CR8","unstructured":"[1988] Modelli non estensionali del polimorfismo in programmazione funzionale, Ph.D thesis, University of Pisa."},{"key":"13_CR9","unstructured":"Meseguer, J., [1988] Relating models of polymorphism, Techn. Rep. 88-13, Comp. Sc. Lab., SRI International."},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"969","DOI":"10.2307\/2273831","volume":"52","author":"R.A.G. Seely","year":"1987","unstructured":"Seely, R.A.G., [1987] Categorical semantics for higher order polymorphic lambda calculus, J. Symb. Log. 52, p.969\u2013989.","journal-title":"J. Symb. Log."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018353.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:10Z","timestamp":1607550070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018353"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051662X"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0018353","relation":{},"subject":[]}}