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

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

No reviews yet.

No comments yet.