Nuprl Definition : can-apply

can-apply(f;x) ==  isl(f x)


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


Date html generated: 2016_05_15-PM-03_28_36
Last ObjectModification: 2015_09_23-AM-07_43_35

Theory : general


Home Index