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.ISSN : 0963-1631.Bibliographie : Bibliogr. : p 340-352. Index.Sujet MSC : 03B40, General logic, Combinatory logic and lambda calculus03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
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.