Normal view MARC view ISBD view

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.Bibliographie : Bibliogr. : p 340-352. Index.Sujet MSC : 03B40, Mathematical logic and foundations -- General logic, Combinatory logic and lambda-calculus
03-02, Mathematical logic and foundations, Research exposition (monographs, survey articles)
Tags from this library: No tags from this library for this title. Log in to add tags.
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.

Log in to your account to post a comment.