Nuprl Definition : rfun*2

f*(x;y) ==  λn.(f (x n) (y n))


Definitions occuring in Statement :  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  apply: f a
FDL editor aliases :  rfun*2
Latex:
f*(x;y)  ==    \mlambda{}n.(f  (x  n)  (y  n))


Date html generated: 2018_05_22-PM-03_15_32
Last ObjectModification: 2017_10_06-PM-02_27_08

Theory : reals_2


Home Index