m

F Nous contacter

0

Documents  Takahashi, Masako | enregistrements trouvés : 1

O
     

-A +A

P Q

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 [+]

Z