Nuprl Definition : sg-legal2

Legal2(x;y) ==  (snd(snd(snd(g)))) x y


Definitions occuring in Statement :  pi2: snd(t),  apply: f a
Definitions occuring in definition :  apply: f a,  pi2: snd(t)
FDL editor aliases :  sg-legal2
Latex:
Legal2(x;y)  ==    (snd(snd(snd(g))))  x  y


Date html generated: 2018_07_25-PM-01_31_15
Last ObjectModification: 2018_06_06-AM-10_44_08

Theory : co-recursion


Home Index