Nuprl Definition : tf-apply

tf-apply(f;x) ==  f x


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  tf-apply
Latex:
tf-apply(f;x)  ==    f  x


Date html generated: 2016_05_13-PM-03_53_41
Last ObjectModification: 2015_09_22-PM-05_45_31

Theory : per!type


Home Index