Introduction to combinatory logic
Hindley, J. Roger (Principal) ; Lercher, B. (Co-auteur) ; Seldin , Jonathan P. (Co-auteur)
1972
170 p.
978-0-521-09697-3
00027526
conversion lambda # logique combinatoire # théorie récursive
Publisher City : Cambridge
Publisher country : Grande-Bretagne
Language : English
EAN13 : 9780521096973
ISBN : 0-521-09697-9
Collation : 23 cm # broch.
Series : London mathematical society lecture note series
Nb in series : 0007
Location : Ouvrage RdC (HIND)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00027526 | [available] |