Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers /
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1999]
|
| Series: | Lecture notes in computer science.
1657. |
| Subjects: |
Table of Contents:
- On relating type theories and set theories / Peter Aczel
- Communication modelling and context-dependent interpretation : an integrated approach / René Ahn, Tijn Borghuis
- Gröbner bases in type theory / Thierry Coquand, Henrik Persson
- A modal lambda calculus with iteration and case constructs / Joëlle Despeyroux, Pierre Leleu
- Proof normalization modulo / Gilles Dowek, Benjamin Werner
- Proof of imperative programs in type theory / Jean-Christophe Filliâtre
- An interpretation of the fan theorem in type theory / Daniel Fridlender
- Conjunctive types and SKInT / Jean Goubault-Larrecq
- Modular structures as dependent types in Isabelle / Florian Kammüller
- Metatheory of verification calculi in LEGO / Thomas Kleymann
- Bounded polymorphism for extensible objects / Luigi Liquori
- About effective quotients in constructive type theory / Maria Emilia Maietti
- Algorithms for equality and unification in the presence of notational definitions / Frank Pfenning, Carsten Schürmann
- A preview of the basic picture : a new perspective on formal topology / Giovanni Sambin, Silvia Gebellato.