previous up next
Go backward to Example
Go up to Top
Go forward to Soundness Theorem
RISC-Linz logo

Soundness of the Typing Rules.

Are the typing rules sensible in their assignment of type attributes to phrases?

How are [[P:H]] and [[H]] related?

Author: Wolfgang Schreiner
Last Modification: March 26, 1998

previous up next