Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 295 p.
ISBN 978-4-931469-02-0
Msj memoirs , 0002
Localisation : Colloque 1er étage (TOKY)
arbre de Böhm # calcul lambda # logique # logique d"ordre supérieur # logique linéaire # modèle lambda # preuve mathématique des systèmes constructifs # système d"attribution de type # théorie des types
03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05
... Lire [+]
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 [+]