## Proceedings

The proceedings will appear in the LNCS series with number 1657.
### List of accepted papers:

- Peter Aczel
*On Relating Type Theories and Set Theories*
- Rene Ahn and Tijn Borghuis
*Communication Modelling and Context-dependent Interpretation:
An Integrated Approach*
- Thierry Coquand and Henrik Persson
*Gröbner Bases in Type Theory*
- Joelle Despeyroux and Pierre Leleu
*A Modal Lambda Calculus with Iteration and Case Constructs*
- Gilles Dowek and Benjamin Werner
*Proof normalization modulo*
- Jean-Christophe Filliatre
*Proof of Imperative Programs in Type Theory*
- Daniel Fridlender
*An Interpretation of the Fan Theorem in Type Theory*
- Jean Goubault-Larrecq
*Conjunctive Types and SKInT*
- Florian Kammüller
*Modular Structures as Dependent Types in Isabelle*
- Thomas Kleymann
*Metatheory of Verification Calculi in LEGO -
To What Extent Does Syntax Matter?*
- Luigi Liquori
*Bounded Polymorphism for Extensible Objects*
- Maria Emilia Maietti
*About effective quotients in constructive type theory*
- Frank Pfenning and Carsten Schürmann
*Algorithms for Equality and Unification
in the Presence of Notational Definitions*
- Giovanni Sambin and Silvia Gebellato
*A preview of the basic picture:
a new perspective on formal topology*

In total, we had 25 submissions. Consequently, the percentage of
accepted papers is 56%.
The expected date of shipping is September 1999.

Back to home-page TYPES'98

Bernhard Reus
(30.04.98,30.07.99)