m

F Nous contacter

0
     
Congrès

H 0 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)

Mathematical Society of Japan

1998

295 p.

978-4-931469-02-0

00023308

03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05

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


Exemplaires

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