Papers on Type Theory
CSRG publications on Type Theory:
A different proposal for making Eiffel type-consistent
Adding axioms to Cardelli-Wegner subtyping
Exploring Object-Oriented Type Systems
Introduction to Object-Oriented Type Theory
An axiomatic specification for the data type "TYPE"
This page was last modified on May 24 1996 by Chih Nam Yap.