$\lambda$-Scale, a lambda calculus for spaces with dilations

Abstract

$\lambda$-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations.

massively re-written version, condensed, relative calculus introduced

References in corpus (2)

• Braided spaces with dilations and sub-riemannian symmetric spaces
• Introduction to metric spaces with dilations

Cited by in corpus (1)

• Graphic lambda calculus