Nuprl Definition : fpf-ap

f(x) ==  (snd(f)) x


Definitions occuring in Statement :  pi2: snd(t),  apply: f a
FDL editor aliases :  fpf-ap
Latex:
f(x)  ==    (snd(f))  x


Date html generated: 2016_05_16-AM-11_04_31
Last ObjectModification: 2012_02_25-AM-11_06_06

Theory : event-ordering


Home Index