next up previous contents
Next: The type constructs Up: The Complete Type System Previous: The Complete Type System   Contents

The type prover


Hassan Ait Kaci 2002-05-26