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, 1990Description : 1 vol. (360 p.) : appendix ; 23 cmISBN: 9780521268967; 0521318394.ISSN: 0963-1631.Bibliographie : Bibliogr. Index.Sujet MSC : 03B40, General logic, Combinatory logic and lambda calculus
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle 1
03 HIN (Browse shelf(Opens below)) Available 10195-01

reprinted

Bibliogr. Index

There are no comments on this title.

to post a comment.