Nuprl Definition : p-fun-exp
f^n == primrec(n;p-id();λi,g. f o g)
Definitions occuring in Statement :
p-id: p-id(),
p-compose: f o g,
primrec: primrec(n;b;c),
lambda: λx.A[x]
Definitions occuring in definition :
primrec: primrec(n;b;c),
p-id: p-id(),
lambda: λx.A[x],
p-compose: f o g
FDL editor aliases :
p-fun-exp
Latex:
f\^{}n == primrec(n;p-id();\mlambda{}i,g. f o g)
Date html generated:
2016_05_15-PM-03_31_40
Last ObjectModification:
2015_09_23-AM-07_44_02
Theory : general
Home
Index