Nuprl Definition : count_aps
count_aps(t;k) ==
fix((λcount_aps,t,k. (if t is stopped at g,f then eval k' = k + 1 in count_aps (g f) k' otherwise t.<t, k>))) t k
Definitions occuring in Statement :
callbyvalue: callbyvalue,
apply: f a,
fix: fix(F),
lambda: λx.A[x],
pair: <a, b>,
add: n + m,
natural_number: $n
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
callbyvalue: callbyvalue,
add: n + m,
natural_number: $n,
apply: f a,
pair: <a, b>
FDL editor aliases :
count_aps
Latex:
count\_aps(t;k) ==
fix((\mlambda{}count$_{aps}$,t,k. (if t is stopped at g,f then
eval k' = k + 1 in
count$_{aps}$ (g f) k'
otherwise t.<t, k>)))
t
k
Date html generated:
2016_05_15-PM-02_15_53
Last ObjectModification:
2015_09_23-AM-07_38_17
Theory : untyped!computation
Home
Index