Introduction to combinators and [lambda] calculus

Introduction to combinators and [lambda] calculus

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Hindley James Roger (Auteur), Seldin Jonathan Paul (Auteur)
Format : Livre
Langue : anglais
Titre complet : Introduction to combinators and [lambda] calculus / J. Roger Hindley,... Jonathan P. Seldin,..
Publié : Cambridge, London, New York [etc.] : Cambridge University Press , cop. 1986
Description matérielle : 1 vol. (360 p.)
Collection : London Mathematical Society student texts ; 1
Titre de l'ensemble : London mathematical society student texts vol. 1
Sujets :
Logique combinatoire
Lambda-calcul
LEADER 01977cam a2200601 4500
001 PPN009157883
003 http://www.sudoc.fr/009157883
005 20211105112800.0
010 |a 0-521-26896-6 
010 |a 0-521-31839-4  |b pbk. 
020 |a US  |b 8529908 
020 |a GB  |b 86-2388 
035 |a 072090286  |9 sudoc 
035 |a (OCoLC)300437773 
035 |a sib1044692 
035 |a ocm12969510 
035 |z ocm12969436 
035 |a urouen156225 
100 |a 19980423h19861986k y0frey0103 ba 
101 0 |a eng 
102 |a GB  |a US 
105 |a y a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a Introduction to combinators and [lambda] calculus  |f J. Roger Hindley,... Jonathan P. Seldin,.. 
210 |a Cambridge  |a London  |a New York [etc.]  |c Cambridge University Press  |d cop. 1986 
215 |a 1 vol. (360 p.)  |d 24 cm 
225 1 |a London mathematical society student texts  |v 1 
305 |a Réimpressions : 1988, 1990 
320 |a Bibliogr. : p 340-352. Index 
410 | |0 013589520  |t London Mathematical Society student texts  |x 0963-1631  |v 1 
606 |3 PPN027430677  |a Logique combinatoire  |2 rameau 
606 |3 PPN027576345  |a Lambda-calcul  |2 rameau 
676 |a 511/.6  |v 19 
680 |a QA9.5  |b .H56 1986 
686 |a 03B40  |c 1991  |2 msc 
686 |a F.4  |2 acm 
700 1 |3 PPN032796005  |a Hindley  |b James Roger  |f 1939-....  |4 070 
701 1 |3 PPN032802595  |a Seldin  |b Jonathan Paul  |4 070 
801 3 |a FR  |b Abes  |c 20190529  |g AFNOR  |h 072090286 
801 3 |a FR  |b SF  |g AFNOR 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
915 |5 441092208:639657575  |b 16612 
930 |5 441092208:639657575  |b 441092208  |a 03C163  |j u 
979 |a CCFA 
991 |5 441092208:639657575  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 16612  |d CMB  |e BAP  |s d  |c 03C163 
998 |a 841655