Nuprl Definition : mapcons

mapcons(f;as) ==  fix((λmapcons,as. case as of [] => [] a::as' => [f as' (mapcons as')] esac)) as

Definitions occuring in Statement :  list_ind: list_ind cons: [a b] nil: [] apply: 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: a
FDL editor aliases :  mapcons

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