m
     
MathOuvrage

H 0 Introduction to combinators and lambda-calculus

Hindley, J.R. ; Seldin, J.P.

Cambridge university Press

1986

360

28306

calcul lambda ; logique combinatoire


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 28306 1013045 GALERIE

ISBN10 : 0-521-31839-4

Type de doc : M

Ville d'édition : Cambridge

Langue ouvrage : eng

Collection : London mathematical society student texts

N° dans la collection : 001

ISSN Collection : 0963-1631

Class. Math. 1991 : 03B40

Lien SUDOC : https://www.sudoc.fr/009157883

Z