Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxii; 833 p.
ISBN 978-0-521-76614-2
Perspectives in logic
Localisation : Ouvrage RdC (BARE)
lambda calcul # lambda-calcul simplement typé # type récursif # type intersection
03-00 ; 03B40 ; 03B70
... Lire [+]