$\lambda$-Scale, a lambda calculus for spaces with dilations
  $\lambda$-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations. 
Marius Buliga
cs.LO math.LO math.MG math.RA