Next: Partial Function Type
Up: Details of the
Previous: Computation System Modification
We define , a syntactic transformation on terms, as follows.
The #'s used here are dependent products and therefore require a left--to--right evaluation order in the predicate.
Thu Sep 14 08:45:18 EDT 1995