next up previous contents
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