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

TL;DR

$5$-Scale extends lambda calculus to handle metric spaces with dilations, enabling formal reasoning in emergent algebra contexts.

Contribution

It introduces a novel lambda calculus framework specifically designed for spaces with dilations, bridging lambda calculus and emergent algebra structures.

Findings

Enables formal reasoning in metric spaces with dilations

Integrates lambda calculus with emergent algebra concepts

Provides a foundation for further mathematical and computational exploration

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.