LAMBDA-OP : CONTEXT

LAMBDA-OP is a context.
TPS object dealing with operations in the lambda-calculus.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage