Front cover of Typed Lambda Calculi and Applications by Masahito Hasegawa
3 editions
2013 first published
III · Science

Typed Lambda Calculi and Applications

Subjects Mathematical Logic and Formal Languages · Symbolic and mathematical Logic · Algebra · Electronic data processing · Logic design · Logics and Meanings of Programs
Language ENG
Free download
Download "Typed Lambda Calculi and Applications"
PDF·EPUB·MOBI·TXT

No signup. No fees. Yours to keep.

About this book

Typed Lambda Calculi and Applications, written by Masahito Hasegawa, is now in the public domain and available here for free download. this title joins thousands of works in our science collection.

Click the download button above to receive the complete text in your preferred ebook format—PDF, EPUB, MOBI, or plain text.