Lambda calculus
Bookmark
ShareCopied to clipboardLambda calculus is a book subject. It includes 36 books, written by 25 different authors.
Key facts
- number of authors: 25 people
- number of books: 36
- books: A framework for defining logics, A theory of bisimulation for the [lambda]-calculus, A unification algorithm for the [lambda pi]-calculus
- authors: Robert Harper, Davide Sangiorgi, David J. Pym
- publication dates: 1991, 1993, 1992
- book publishers: LFCS, Dept. of Computer Science, University of Edinburgh
See more factsExtract data
Download datasets about Lambda calculus:
Dataset of books about Lambda calculus:
"Lambda calculus" is one of the 293,135 book subjects in our database.
Related
Connected or similar to Lambda calculus: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.