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: 2019_06_20-PM-00_51_58
Last ObjectModification: 2019_01_02-PM-01_31_51

Theory : co-recursion-2


Home Index