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
Ville d'édition : Cambridge
Pays d'édition : Grande-Bretagne
Langue : Anglais
EAN13 : 9780521096973
ISBN : 0-521-09697-9
Collation : 23 cm # broch.
Collection : London mathematical society lecture note series
N° de collection : 0007
Localisation : Ouvrage RdC (HIND)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00027526 | [disponible] |