Nuprl Definition : mapcons
mapcons(f;as) == fix((λmapcons,as. case as of [] => [] | a::as' => [f a as' / (mapcons as')] esac)) as
Definitions occuring in Statement :
list_ind: list_ind,
cons: [a / b],
nil: [],
apply: f a,
fix: fix(F),
lambda: λx.A[x]
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
list_ind: list_ind,
nil: [],
cons: [a / b],
apply: f a
FDL editor aliases :
mapcons
Latex:
mapcons(f;as) == fix((\mlambda{}mapcons,as. case as of [] => [] | a::as' => [f a as' / (mapcons as')] esac))\000C as
Date html generated:
2016_05_14-AM-07_38_23
Last ObjectModification:
2015_12_21-PM-01_46_06
Theory : list_1
Home
Index