Introduction to combinators and lambda-calculus / J. Roger Hindley, Jonathan P. Seldin
Type de document : MonographieCollection : London Mathematical Society student texts, 1Langue : anglais.Pays : Grande Bretagne.Mention d'édition: reprintedÉditeur : Cambridge : Cambridge University Press, 1988Description : 1 vol. (360 p.) : appendix ; 23 cmISBN : 9780521268967; 9780521318396.Bibliographie : Bibliogr. : p 340-352. Index.Sujet MSC : 03B40, Mathematical logic and foundations -- General logic, Combinatory logic and lambda-calculus03-02, Mathematical logic and foundations, Research exposition (monographs, survey articles)
| Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Salle R | 03 HIN (Browse shelf) | Available | 09395-01 |
Bibliogr. : p 340-352. Index
There are no comments for this item.