Nuprl Definition : cbv-concat
cbv-concat(ll) == reduce(λl,l'. eval x = l in eval y = l' in x @ y;[];ll)
Definitions occuring in Statement :
append: as @ bs,
reduce: reduce(f;k;as),
nil: [],
callbyvalue: callbyvalue,
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
callbyvalue: callbyvalue,
append: as @ bs,
nil: []
FDL editor aliases :
cbv-concat
Latex:
cbv-concat(ll) == reduce(\mlambda{}l,l'. eval x = l in eval y = l' in x @ y;[];ll)
Date html generated:
2016_05_14-AM-06_32_00
Last ObjectModification:
2015_12_03-PM-02_06_06
Theory : list_0
Home
Index