|
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
by
4.17 avg rating — 36 ratings
—
published
1984
—
6 editions
|
|
|
The Dark Side of the Mirror: Forgetting the Self in Dōgen's Genjō Kōan
by
|
|
|
Lambda Calculus with Types
by
4.43 avg rating — 7 ratings
—
published
2013
—
9 editions
|
|
|
Introduction to Lambda Calculus
by
really liked it 4.00 avg rating — 5 ratings
—
published
2000
|
|
|
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science (806))
by
liked it 3.00 avg rating — 1 rating
—
published
2008
|
|
|
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 (Series on Term Rewriting and Logic)
by
0.00 avg rating — 0 ratings
|
|
|
A Lambda Calculus Satellite
by
0.00 avg rating — 0 ratings
|
|
|
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
by
0.00 avg rating — 0 ratings
|
|
|
A Lambda Calculus Satellite
by
0.00 avg rating — 0 ratings
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.