Next:
Computation System Modification
Up:
Recursive Definition
Previous:
Partial Function Types
Details of the Extension
Computation System Modification
Domain Predicate
Partial Function Type Proof Rules
Formation
Intro
Elim
Computation
Richard Eaton
Thu Sep 14 08:45:18 EDT 1995
