Next:
The Basic Ideas
Up:
Using Reflection to Explain Theory
Previous:
Completeness
Reflecting Formal Type Theory
The Basic Ideas
Terms
Sequents
Primitive Proofs
Tactics and Automation
Tactic-tree Proofs
Reflection Rule
Validity Theorem
Karla Consroe
5/13/1998
