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.
Return to TYPES homepage
Last updated on 21 April 1996 by
Healfdene Goguen
<hhg@dcs.ed.ac.uk>