English
Theories of types and proofs
two weeks MSJ regional workshoop on ... took place at Tokyo Institute of Technology
Sept.
Dezani-Ciancaglini, Mariangiola (Editeur) ; Okada, Mitsuhiro (Editeur) ; Takahashi, Masako (Editeur)
1998
295 p.
978-4-931469-02-0
00023308
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
Ville d'édition : Tokyo
Pays d'édition : Japon
Langue : Anglais
EAN13 : 9784931469020
ISBN : 4-931469-02-7
Collation : 25 cm#broch. ; Bibliogr.
Collection : Msj memoirs
N° de collection : 0002
Localisation : Colloque 1er étage (TOKY)
Année de la rencontre : 1997
Ville du congrès : Tokyo
Pays du congrès : Japon
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00023308 | [disponible] |
