LAMBDA-CALC : MODULE

LAMBDA-CALC is a module.

It is loaded.
Defines some operations of the typed lambda-calculus.

NEEDED-MODULES WFF-EDITOR

FILES EDLMBD CNF

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage