Normal view MARC view ISBD view

Typed Lambda Calculi and Applications

Masahito Hasegawa

Typed Lambda Calculi and Applications - 2013

ISBN: 978-3-642-38946-7

Subjects--Topical Terms:
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Mathematics of Computing
Symbolic and Algebraic Manipulation
Computer Science

Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)