Introduction to combinators and lambda-calculus / J. Roger Hindley, Jonathan P. Seldin

Auteur principal : Hindley, James Roger, 1939-, AuteurCo-auteur : Seldin, Jonathan Paul, AuteurType 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 calculus
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current library Call number Status Date due Barcode
 Monographie Monographie CMI
Salle 1
03 HIN (Browse shelf(Opens below)) Available 09395-01

Bibliogr. : p 340-352. Index

There are no comments on this title.

to post a comment.