next up previous contents index
Next: Tree Rewriting Up: Inference Previous: Inference Class

Inference Rules

This section is incomplete.


Allen Leung
Mon Apr 7 14:33:55 EDT 1997