BINDER : binder

wff Primitives

• lambda

Basic Abbreviations

• exists
• exists1
• existsn
• forall
• foralln
• mu-bind
• that

ETPS documentation homepage

TPS homepage