Nuprl Definition : wfForm

wfForm(f) ==  wfFormAux(f) termForm(f)


Definitions occuring in Statement :  termForm: termForm(f),  wfFormAux: wfFormAux(f),  apply: f a
Definitions occuring in definition :  apply: f a,  wfFormAux: wfFormAux(f),  termForm: termForm(f)
FDL editor aliases :  wfForm wfForm
Latex:
wfForm(f)  ==    wfFormAux(f)  termForm(f)


Date html generated: 2018_05_21-PM-11_26_55
Last ObjectModification: 2017_10_10-PM-05_06_45

Theory : PZF


Home Index