Loading…
The lambda calculus: its syntax and semantics /
Saved in:
Main Author: | Barendregt, H. P. (Hendrik Pieter) |
---|---|
Format: | Book |
Language: | English |
Published: |
Amsterdam :
North-Holland Pub. Co.,
1984.
|
Edition: | Revised edition |
Series: | Studies in logic and the foundations of mathematics ;
v.103 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Lambda-calculus, combinators, and functional programming /
by: R ev esz, Gy orgy E.
Published: (1988) -
Calculus /
by: Loomis, Lynn H.
Published: (1977) -
Calculus /
by: Farrand, Scott M.
Published: (1984) -
Calculus /
by: Grossman, Stanley I.
Published: (1984) -
Calculus
by: Binmore, K. G., 1940-
Published: (1983)