Domains and lambda-calculi
Bookmark
ShareCopied to clipboardDomains and lambda-calculi is a book. It was written by Roberto M. Amadio and published by Cambridge University Press in 1998.
Key facts
- author: Roberto M. Amadio
- publication date: 1998
- book publisher: Cambridge University Press
- book series: Cambridge tracts in theoretical computer science
- book subjects: Programming languages (Electronic computers)-Semantics, Lambda calculus, Programming languages (Electronic computers)-Mathematics
See more factsExtract data
Download datasets about Domains and lambda-calculi:
Dataset of books series that contain Domains and lambda-calculi:
Dataset of book subjects that contain Domains and lambda-calculi:
"Domains and lambda-calculi" is one of the books by Roberto M. Amadio, books by Cambridge University Press and 2,617,384 books in our database.
Related
Connected or similar to Domains and lambda-calculi: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.