Lambda calculus with types

New York: Cambridge University Press. Edited by Wil Dekkers & Richard Statman (2013)
  Copy   BIBTEX


This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.



    Upload a copy of this work     Papers currently archived: 79,857

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Recursion theory and the lambda-calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.
Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.
Proofs and types.Jean-Yves Girard - 1989 - New York: Cambridge University Press.
A Gitik iteration with nearly Easton factoring.William J. Mitchell - 2003 - Journal of Symbolic Logic 68 (2):481-502.


Added to PP

32 (#379,729)

6 months
5 (#166,733)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.
The Cooper Storage Idiom.Gregory M. Kobele - 2018 - Journal of Logic, Language and Information 27 (2):95-131.
Combinatory logic with polymorphic types.William R. Stirton - 2022 - Archive for Mathematical Logic 61 (3):317-343.

Add more citations

References found in this work

No references found.

Add more references