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

Auteur: Hindley, James Roger (1939-) - AuteurCo-auteur: Seldin, Jonathan Paul - AuteurType de document: MonographieCollection: London Mathematical Society student texts ; 1Langue: anglaisPays: Grande BretagneÉditeur: Cambridge : Cambridge University Press, 1988Edition: reprintedDescription: 1 vol. (360 p.) : appendix ; 23 cm ISBN: 9780521268967 ; br. Bibliographie: Bibliogr. : p 340-352. Index. Sujets MSC: 03B40 Mathematical logic and foundations -- General logic -- Combinatory logic and lambda-calculus
03-02 Mathematical logic and foundations -- Research exposition (monographs, survey articles)
Location Call Number Status Date Due
Salle R 09395-01 / 03 HIN (Browse Shelf) Available

Bibliogr. : p 340-352. Index

There are no comments for this item.

Log in to your account to post a comment.
Languages: English | Français | |