{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:44Z","timestamp":1725457004043},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540074163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029522","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T09:42:57Z","timestamp":1133862177000},"page":"122-146","source":"Crossref","is-referenced-by-count":7,"title":["Continuous semantics and inside-out reductions"],"prefix":"10.1007","author":[{"given":"P. H.","family":"Welch","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Barendregt,H.P.: \u201cSome Extensional Term Models for Combinatory Logics and \u03bb-Calculi\u201d: Ph.D. Thesis, Utrecht (1971)."},{"key":"7_CR2","volume-title":"Combinatory Logic \u2014 Volume I","author":"H.B. Curry","year":"1958","unstructured":"Curry,H.B., Feys,R.: \u201cCombinatory Logic \u2014 Volume I\u201d: North-Holland, Amsterdam (1958)."},{"key":"7_CR3","unstructured":"L\u00e9vy,J-J.: \u201cAnother Syntactic Model of the \u03bb-\u03ba-\u03b2-Calculus\u201d: Symposium on \u03bb-Calculus and Computer Sciences Theory, Roma (1975)"},{"key":"7_CR4","unstructured":"L\u00e9vy,J-J.: \u201cR\u00e9ductions Sures dans le Lambda-Calcul\u201d: Diplome de Docteur de 3e Cycle, Universite Paris VII (1974)."},{"key":"7_CR5","unstructured":"Park,D.M.R.: \u201cThe Y-Combinator in Scott's Lambda-Calculus Models\u201d: Unpublished notes, University of Warwick (1970)."},{"key":"7_CR6","unstructured":"Reynolds,J.C.: \u201cNotes on a Lattice-Theoretic Approach to the Theory of Computation\u201d: Systems and Information Science, Syracuse University (1972)."},{"key":"7_CR7","unstructured":"Scott,D.: \u201cContinuous Lattices\u201d: Technical Monograph PRG-7, Oxford University Computing Laboratory, Programming Research Group (1970)."},{"key":"7_CR8","unstructured":"Scott,D.: \u201cData Types as Lattices\u201d: Unpublished lecture notes, Oxford (1973)."},{"key":"7_CR9","unstructured":"Scott,D.: \u201cThe Lattice of Flow Diagrams\u201d: PRG-3 (1970)."},{"key":"7_CR10","unstructured":"Wadsworth,C.P.: \u201cSemantics and Pragmatics of the \u03bb-Calculus\u201d: Ph.D. Thesis, Oxford University (1971)."},{"key":"7_CR11","unstructured":"Wadsworth,C.P.: \u201cTyped \u03bb-Expressions\u201d: Unpublished notes, Oxford (1972)."},{"key":"7_CR12","unstructured":"Welch,P.H.: \u201cThe Minimal Continuous Semantics of the Lambda-Calculus\u201d: Ph.D. Thesis (Submitted), Warwick University (1974)."}],"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\/BFb0029522.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:59:40Z","timestamp":1607533180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029522"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540074163"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0029522","relation":{},"subject":[]}}