{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:57Z","timestamp":1780994577082,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540068594","type":"print"},{"value":"9783540378198","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1974]]},"DOI":"10.1007\/3-540-06859-7_148","type":"book-chapter","created":{"date-parts":[[2011,8,18]],"date-time":"2011-08-18T15:52:56Z","timestamp":1313682776000},"page":"408-425","source":"Crossref","is-referenced-by-count":252,"title":["Towards a theory of type structure"],"prefix":"10.1007","author":[{"given":"John C.","family":"Reynolds","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"30_CR1","unstructured":"Van Wijngaarden, A., Mailloux, B. J., Peck, J. E. L., and Koster, C. H. A., Report on the Algorithmic Language ALGOL 68. MR 101 Mathematisch Centrum, Amsterdam, October 1969. Also Numerische Mathematik 14 (1969) 79\u2013218."},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Cheatham, T. E., Jr., Fischer, A., and Jorrand, P., On the Basis for ELF-An Extensible Language Facility. Proc. AFIPS 1968 Fall Joint Comput. Conf., Vol. 33 Pt. 2, MDI Publications, Wayne, Pa., pp. 937\u2013948.","DOI":"10.1145\/1476706.1476710"},{"key":"30_CR3","unstructured":"Reynolds, J. C., A Set-theoretic Approach to the Concept of Type. Working paper, NATO Conf. on Techniques in Software Engineering, Rome, October 1969."},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Morris, J. H., \"Protection in Programming Languages,\" Comm. ACM, 16 (1), January 1973.","DOI":"10.1145\/361932.361937"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Morris, J. H., Types are not Sets. Proc. ACM Symposium on Principle of Programming Languages, Boston 1973, pp. 120\u2013124.","DOI":"10.1145\/512927.512938"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Fischer, A. E., and Fischer, M. J., Mode Modules as Representations of Domains. Proc. ACM Symposium on Principles of Programming Languages, Boston 1973, pp. 139\u2013143.","DOI":"10.1145\/512927.512940"},{"key":"30_CR7","unstructured":"Liskov, B., and Zilles, S., An Approach to Abstraction. Computation Structures Group Memo 88, Project MAC, MIT, September 1973."},{"key":"30_CR8","volume-title":"Lambda-calculus Models of Programming Languages","author":"J. H. Morris","year":"1968","unstructured":"Morris, J. H., Lambda-calculus Models of Programming Languages. MAC-TR-57, Project MAC, MIT, Cambridge, Mass., December 1968."},{"key":"30_CR9","unstructured":"Scott, D., \"Outline of a Mathematical Theory of Computation,\" Proc. Fourth Annual Princeton Conf. on Information Sciences and Systems (1970), pp. 169\u2013176. Also, Tech. Monograph PRG-2, Programming Research Group, Oxford University Computing Laboratory, November 1970."},{"key":"30_CR10","unstructured":"\u2014 \"Continuous Lattices,\" Proc. 1971 Dalhousie Conf., Springer Lecture Note Series, Springer-Verlag, Heidelberg. Also, Tech. Monograph PRG-7, Programming Research Group, Oxford University Computing Laboratory, August 1971."},{"key":"30_CR11","first-page":"225","volume-title":"AFIPS Conference Proc., Vol. 40","author":"D. Scott","year":"1972","unstructured":"\u2014. \"Mathematical Concepts in Programming Language Semantics,\" AFIPS Conference Proc., Vol. 40, AFIPS Press, Montvale, New Jersey (1972), pp. 225\u2013234."},{"key":"30_CR12","unstructured":"\u2014. \"Data Types as Lattices\", Notes, Amsterdam, June 1972."},{"key":"30_CR13","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, S., Categories for the Working Mathematician, Springer-Verlag, New York 1971."},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Morris, F. L., Correctness of Translations of Programming Languages \u2014 An Algebraic Approach, Stanford Computer Science Department Report STAN-CS-72-303, August 1972.","DOI":"10.21236\/ADA954771"}],"container-title":["Lecture Notes in Computer Science","Programming Symposium"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-06859-7_148.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,8]],"date-time":"2025-03-08T22:46:44Z","timestamp":1741474004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-06859-7_148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974]]},"ISBN":["9783540068594","9783540378198"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-06859-7_148","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1974]]}}}