Typed Lambda Calculi and ApplicationsLuke Ong
Typed Lambda Calculi and Applications
Luke Ong · 2011
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2011
- Language
- English
- Series
- Lecture Notes in Computer Science -- 6690
- Publisher
- Springer-Verlag GmbH Berlin Heidelberg
- Editions
- 2
- ISBN
- 9783642216909
Data source: Wikidata
More by Luke Ong
Logic, Language, Information and ComputationLuke Ong
Logic, Language, Information and Computation
Luke Ong · 2012
Foundations of Software Science and Computational StructuresLuke Ong
Foundations of Software Science and Computational Structures
Luke Ong · 2010
Computer Science LogicLuke Ong
Computer Science Logic
Luke Ong · 2005