LAMBDA : BINDER

LAMBDA is a binder.
Church's lambda binder.
Type variables are: ("A" "B")
Prefix binding priority is 100

TPS documentation homepage


LAMBDA : CONCEPT-CHAR

LAMBDA is a concept special character.
Prints as LAMBDA

TPS documentation homepage


LAMBDA : SCRIBE-CHAR

LAMBDA is a scribe special character.
Prints as LAMBDA

TPS documentation homepage


LAMBDA : TEX-CHAR

LAMBDA is a tex special character.
Prints as LAMBDA

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage