Lambda calculus
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, Algebraic theories for name-passing calculi, An introduction to functional programming through lambda calculus
- authors: Robert Harper, Joachim Parrow, Greg Michaelson
- publication dates: 1991, 1993, 1988
- book publishers: LFCS, Dept. of Computer Science, University of Edinburgh, Addison-Wesley
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.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.