Next:
Defining new types
Up:
The Complete Type System
Previous:
The type prover
Contents
The type constructs
Hassan Ait Kaci 2002-05-26
