Next:
Variable Identifier
Up:
Terms
Previous:
Type Identifier
Constant Term
A grounded value of a particular type is a constant term.
Ronald LeRoi Burback
1998-12-16
