m

F Nous contacter

0
     
Ouvrage

H 1 Lambda calculus with types

Barendregt, Henk (Principal) ; Dekkers, Wil (Co-auteur) ; Statman, Richard (Co-auteur) ; Alessi, Fabio (Contributeur) ; Bezem, Marc (Contributeur) ; Cardone, Felice (Contributeur) ; Coppo, Mario (Contributeur) ; Dezani-Ciancaglini, Mariangiola (Contributeur) ; Dowek, Gilles (Contributeur) ; Ghilezan, Silvia (Contributeur) ; Honsell, Furio (Contributeur) ; Moortgat, Michael (Contributeur) ; Severi, Paula (Contributeur) ; Urzyczyn, Pawel (Contributeur)

Cambridge University Press;Association for Symbolic Logic

2013

xxii; 833 p.

978-0-521-76614-2

00038882

03-00 ; 03B40 ; 03B70

lambda calcul # lambda-calcul simplement typé # type récursif # type intersection

Ville d'édition : Cambridge ; New York

Pays d'édition : Grande-Bretagne ; États-Unis

Langue : Anglais

EAN13 : 9780521766142

Collation : 26 cm#rel.#index

Collection : Perspectives in logic

Localisation : Ouvrage RdC (BARE)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00038882 [disponible]
Z