Preview
Unable to display preview. Download preview PDF.
References
Abramsky S. The lazy lambda calculus, in: D. Turner (ed.) Declarative programming, Addison-Wesley, 1988.
Barendregt H., Coppo M., Dezani M. A filter lambda model and the completeness of type assignment, The J. of Symbolic Logic, 48, no. 4, 1983, 931–940.
Honsell F., Ronchi Della Rocca S. An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus, J. of Computer and System Sciences, to appear.
Hyland M. A syntactic characterization of the equality in some models for the lambda calculus, J. of the London Mathematical Society (2), 12, 1976, 361–370.
Landin P.J. The mechanical evaluation of expressions, Computer J. 6, no. 4, 1964, p. 308–320.
Mulmuley K. Fully abstract submodels of typed lambda calculus, J. of Computer and System Sciences, 33, 1986, 2–46.
Ong C.-H. L. The lazy lambda calculus: an investigation into the foundations of functional programming, Ph.D. thesis, Imperial College of Science and Technology, University of London, 1988.
Plotkin G.D. Call-by-name, call-by-value and the λ-calculus, Theoretical Computer Science, 1, 1975, 125–159.
Plotkin G.D. LCF, considered as a Programming Language, Theoretical Computer Science, 5, 1977, 223–255.
Plotkin G.D. Personal communication.
Wadsworth C.P. The relation between computational and denotational properties for Scott's D ∞-models of the λ-calculus, SIAM J. of Computing, 5, no.3, 1976, 488.
Boudol G. Lambda-Calculi for (strict) Parallel Functions, INRIA preprint 1991.
Pino-Perez R. A Strict partial combinatory algebra which modelizes Partial Lambda Calculus, preprint 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Egidi, L., Honsell, F., Ronchi della Rocca, S. (1991). The lazy call-by-value λ-calculus. In: Tarlecki, A. (eds) Mathematical Foundations of Computer Science 1991. MFCS 1991. Lecture Notes in Computer Science, vol 520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54345-7_59
Download citation
DOI: https://doi.org/10.1007/3-540-54345-7_59
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54345-9
Online ISBN: 978-3-540-47579-8
eBook Packages: Springer Book Archive