Français
Theories of types and proofs
two weeks MSJ regional workshoop on ... took place at Tokyo Institute of Technology
Sept.
Dezani-Ciancaglini, Mariangiola (Editor) ; Okada, Mitsuhiro (Editor) ; Takahashi, Masako (Editor)
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
Publisher City : Tokyo
Publisher country : Japon
Language : English
EAN13 : 9784931469020
ISBN : 4-931469-02-7
Collation : 25 cm#broch. ; Bibliogr.
Series : Msj memoirs
Nb in series : 0002
Location : Colloque 1er étage (TOKY)
Event Year : 1997
City of congres : Tokyo
Country of congres : Japon
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00023308 | [available] |
