Nuprl Definition : seq-comp
f o s == let k,g = s in <k, λi.(f (g i))>
Definitions occuring in Statement :
apply: f a
,
lambda: λx.A[x]
,
spread: spread def,
pair: <a, b>
Definitions occuring in definition :
spread: spread def,
pair: <a, b>
,
lambda: λx.A[x]
,
apply: f a
FDL editor aliases :
seq-comp
Latex:
f o s == let k,g = s in <k, \mlambda{}i.(f (g i))>
Date html generated:
2018_07_25-PM-01_28_22
Last ObjectModification:
2018_06_11-PM-04_21_59
Theory : arithmetic
Home
Index