Introduction to Combinators and λ-calculus
Saved in:
| Main Author: | Hindley, J. Roger |
|---|---|
| Other Authors: | Seldin, J. P. |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
1993
|
| Edition: | 1st ed., Repr. |
| Series: | London Mathematical Society student texts ;
; 1 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
The lambda calculus :
by: Barendregt, H. P. (Hendrik Pieter)
Published: (1981) -
The lambda calculus :
by: Barendregt, H. P. (Hendrik Pieter)
Published: (1984) -
Intuitive combinational topology
by: Boltianskii, V. G. (Vladimir Grigorevich), 1925-2019
Published: (2001) -
Introduction to Λ-tress
by: Chiswell, Ian 1948-
Published: (2001) -
Introduction to combinatorics
by: Erickson, Martin J. 1963-
Published: (1996)