Proceedings and Papers of the TYPES BRA
The following proceedings of workshops are available.
- 1990 (Antibes).
- Proceedings of the First Workshop on Logical Frameworks.
postscript (1020K) or dvi (643K) format.
- 1991 (Edinburgh).
- Proceedings of the Second Workshop on Logical Frameworks.
postscript (853K) or dvi (527K) format.
- 1992 (Båstad).
- Proceedings of the 1992 Workshop on Types for Proofs
and Programs.
postscript (816K) or dvi (493K) format.
- 1993 (Nijmegen).
- Informal Proceedings of the 1993 Workshop on Types for
Proofs and Programs.
postscript (912K) or dvi (559K) format.
The following papers are available about the Basic Research Action.
- Hugo Herbelin,
ESPRIT Basic Research Action 6453; TYPES:
Types for Proofs and Programs. EATCS.
postscript (64K) or dvi (21K) format.
Return to TYPES homepage
Last updated on 21 April 1996 by Healfdene Goguen <hhg@dcs.ed.ac.uk>