Go backward to
Typing Rules
Go up to
Top
Go forward to
Typing Rules
Example
Each subtree is annotated with its type!
Author:
Wolfgang Schreiner
Last Modification: March 26, 1998