Nuprl Definition : map
map(f;as) == rec-case(as) of [] => [] | h::t => r.[f h / r]
Definitions occuring in Statement :
list_ind: list_ind,
cons: [a / b],
nil: [],
apply: f a
Definitions occuring in definition :
list_ind: list_ind,
nil: [],
cons: [a / b],
apply: f a
Rules referencing :
barInduction
FDL editor aliases :
map
Latex:
map(f;as) == rec-case(as) of [] => [] | h::t => r.[f h / r]
Date html generated:
2016_05_14-AM-06_28_20
Last ObjectModification:
2015_12_03-PM-02_05_17
Theory : list_0
Home
Index