Nuprl Definition : retracer
retracer(p) ==  λe'.(fst(((snd(snd(p))) e')))
Definitions occuring in Statement : 
pi1: fst(t)
, 
pi2: snd(t)
, 
apply: f a
, 
lambda: λx.A[x]
FDL editor aliases : 
retracer
Latex:
retracer(p)  ==    \mlambda{}e'.(fst(((snd(snd(p)))  e')))
Date html generated:
2016_05_17-AM-08_07_10
Last ObjectModification:
2012_02_25-PM-03_10_32
Theory : event-ordering
Home
Index