Nuprl Definition : int-decr-map-remove
int-decr-map-remove(k;m) == remove-combine(λp.(k - fst(p));m)
Definitions occuring in Statement :
remove-combine: remove-combine(cmp;l),
pi1: fst(t),
lambda: λx.A[x],
subtract: n - m
FDL editor aliases :
int-decr-map-remove
Latex:
int-decr-map-remove(k;m) == remove-combine(\mlambda{}p.(k - fst(p));m)
Date html generated:
2016_05_17-PM-01_49_54
Last ObjectModification:
2013_04_17-PM-11_34_45
Theory : datatype-signatures
Home
Index