Nuprl Definition : run-to-n
run-to-n(r;n) == map(λt.(fst((r t)));upto(n))
Definitions occuring in Statement :
upto: upto(n),
map: map(f;as),
pi1: fst(t),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
run-to-n
Latex:
run-to-n(r;n) == map(\mlambda{}t.(fst((r t)));upto(n))
Date html generated:
2015_07_23-AM-11_59_46
Last ObjectModification:
2012_08_30-PM-01_51_13
Home
Index