Introduction to combinators and lambda-calculus [monographie] |
| Auteur(s): | Hindley, James Roger (1939-....) Seldin, Jonathan Paul |
| Langue: | anglais |
| Collection: | London mathematical society student texts, n° 1 |
| Editeur, date d'édition: | Cambridge University Press, 1986 |
| Ville(s) d'édition: | Cambridge (GB), London (GB), New York (US) |
| ISBN: | 0-521-26896-6 ; 0-521-31839-4 |
| Classification MSC: | 03B40 (2000) |
| Notes: | Bibliogr. pp. 340-352 ; index pp. 353-360 ; 23 cm (Réimpressions : 1988, 1990) ; 360 p. |
| Thèmes: | logique, lambda-calcul, combinatory logic, lambda calculus |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 HIN 86 | Disponible |