Nuprl Definition : retracer

retracer(p) ==

e'.(fst(((snd(snd(p))) e')))

Definitions : lambda:

x.A[x], pi1: fst(t), apply: f a, pi2: snd(t)
FDL editor aliases : retracer

retracer(p) == \mlambda{}e'.(fst(((snd(snd(p))) e'))) Date html generated: 2010_08_27-PM-03_23_07 Last ObjectModification: 2010_04_14-PM-01_28_19 Home Index