Volume 272, Number 1-2, February 2002
Theories of Types and Proofs 1997, Tokyo, Japan, 8-18 September 1997
- Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi:
Theories of Types and Proofs 1997 - Preface.
1-2
- Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries:
Intersection types for lambda-trees.
3-40
- Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada:
Inductive-data-type systems.
41-68
- Mario Coppo, Ferruccio Damiani, Paola Giannini:
Strictness, totality, and non-standard-type inference.
69-112
- Ryu Hasegawa:
Two applications of analytic functors.
113-175
- Susumu Hayashi, Ryosuke Sumitomo, Ken-ichiro Shii:
Towards the animation of proofs - testing proofs by examples.
177-195
- Hajime Ishihara, Toshihiko Kurata:
Completeness of intersection and union type assignment systems for call-by-value lambda-models.
197-221
- Yukiyoshi Kameyama, Masahiko Sato:
Strong normalizability of the non-deterministic catch/throw calculi.
223-245
- Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong:
Innocent game models of untyped lambda-calculus.
247-292
- Martijn Oostdijk, Herman Geuvers:
Proof by computation in the Coq system.
293-314
- Tarmo Uustalu, Varmo Vene:
Least and greatest fixed points in intuitionistic natural deduction.
315-339
- Hirofumi Yokouchi:
Completeness of type assignment systems with intersection, union, and type quantifiers.
341-398
Last update Sat May 25 16:55:04 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
