Next:
Essential features
Up:
Type theory
Previous:
Type theory
Introduction
Essential features
Language and logic
Level restrictions
Architecture of type theory
Inference mechanism
James Wallis
1999-09-17
