{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:48Z","timestamp":1725457008905},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540074163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029519","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T09:42:57Z","timestamp":1133862177000},"page":"62-82","source":"Crossref","is-referenced-by-count":13,"title":["Infinite normal forms for the \u03bb-calculus"],"prefix":"10.1007","author":[{"given":"Reiji","family":"Nakajima","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Barendregt, H.P., Some extensional term models for combinatory logics and \u03bb-calculi, Thesis, Utrecht (1971)."},{"key":"4_CR2","volume-title":"Alcune proprieta della forme \u03b2-\u03b7-normali del \u03bb-\u03ba-calcolo","author":"C. B\u00f6hm","year":"1968","unstructured":"B\u00f6hm, C., Alcune proprieta della forme \u03b2-\u03b7-normali del \u03bb-\u03ba-calcolo, Publicazioni dell'Istituto per le Applicazioni Del Calcolo, No. 696, Rome (1968)."},{"key":"4_CR3","volume-title":"Technical Report No. 18","author":"J. Morris","year":"1973","unstructured":"Morris, J. and Nakajima, R., Mechanical characterization of the partial order in lattice model, D\u221e, of the \u03bb-calculus, Technical Report No. 18, Department of Computer Science, University of California at Berkeley (1973)."},{"key":"4_CR4","unstructured":"Nakajima, R., Ph.D. Thesis, University of California at Berkeley (to appear)."},{"key":"4_CR5","unstructured":"Park, D., The Y-combinator in Scott's \u03bb-calculus models, Symposium on Theory of Programming, University of Warwick (1970)."},{"key":"4_CR6","unstructured":"Plotkin, C.D., The \u03bb-calculus is \u03c9-incomplete, SAI-RM-2, School of Artificial Intelligence, University of Edinburgh (1973)."},{"key":"4_CR7","unstructured":"Reynolds, J., Lattice theoretic approach to theory of computation, Unpublished lecture notes, Syracuse University (1971)."},{"key":"4_CR8","unstructured":"Scott, D., Outline of a mathematical theory of computation, Oxford Monograph PRG-2, Oxford University (1970)."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Scott, D., Continuous lattices, Oxford Monograph PRG-7, Oxford University (1972).","DOI":"10.1007\/BFb0073967"},{"key":"4_CR10","first-page":"65","volume":"2","author":"D. Scott","year":"1970","unstructured":"Scott, D., Lattice theory, data types and semantics, Formal Semantics of Programming Languages, Courant Computer Science Symposium 2 (1970), 65\u2013106.","journal-title":"Courant Computer Science Symposium"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BFb0059703","volume":"188","author":"D. Scott","year":"1971","unstructured":"Scott, D., The lattice of flow diagrams, Semantics of Algorithmic Languages, Springer Lecture Notes in Mathematics, Vol. 188 (1971), 311\u2013366.","journal-title":"Springer Lecture Notes in Mathematics"},{"key":"4_CR12","unstructured":"Wadsworth, C.P., The relation between \u03bb-expressions and their denotations in Scott's models for the \u03bb-calculus, SIAM Journal of Computing (to appear)."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Wadsworth, C.P., Approximate reductions and \u03bb-calculus models, SIAM Journal of Computing (to appear).","DOI":"10.1137\/0207028"},{"key":"4_CR14","unstructured":"Wadsworth, C.P., A general form of a theorem of B\u00f6hm and its application to Scott's model for the \u03bb-calculus (to appear)."}],"container-title":["Lecture Notes in Computer Science","\u03bb-Calculus and Computer Science Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029519.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T16:00:51Z","timestamp":1683302451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540074163"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0029519","relation":{},"subject":[]}}