Nuprl Definition : polyform
polyform(n)==r if (n =z 0) then ℤ else polyform(n - 1) List fi
polyform(n) == fix((λpolyform,n. if (n =z 0) then ℤ else (polyform (n - 1)) List fi )) n
Definitions occuring in Statement :
list: T List,
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
apply: f a,
fix: fix(F),
lambda: λx.A[x],
subtract: n - m,
natural_number: $n,
int: ℤ
Definitions occuring in definition :
natural_number: $n,
subtract: n - m,
apply: f a,
list: T List,
int: ℤ,
eq_int: (i =z j),
ifthenelse: if b then t else f fi ,
lambda: λx.A[x],
fix: fix(F)
FDL editor aliases :
polyform
polyform
Latex:
polyform(n)==r if (n =\msubz{} 0) then \mBbbZ{} else polyform(n - 1) List fi
Latex:
polyform(n) == fix((\mlambda{}polyform,n. if (n =\msubz{} 0) then \mBbbZ{} else (polyform (n - 1)) List fi )) n
Date html generated:
2017_04_17-AM-09_00_55
Last ObjectModification:
2017_04_13-AM-11_49_22
Theory : list_1
Home
Index