BETA-ETA-SEPARATE : INFO

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage