BETA-ETA-ONLY : INFO

BETA-ETA-ONLY is a flag setting or other piece of information.
A flag setting for LAMBDA-CONV.
When doing lambda-conversion, only use beta rule, not eta rule (for example,
when translating an eproof into ND style).

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage