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