$\lambda$-Scale, a lambda calculus for spaces with dilations
Logic in Computer Science
2012-05-25 v3 Logic
Metric Geometry
Rings and Algebras
Abstract
-Scale is an enrichment of lambda calculus which is adapted to emergent algebras. It can be used therefore in metric spaces with dilations.
Keywords
Cite
@article{arxiv.1205.0139,
title = {$\lambda$-Scale, a lambda calculus for spaces with dilations},
author = {Marius Buliga},
journal= {arXiv preprint arXiv:1205.0139},
year = {2012}
}
Comments
massively re-written version, condensed, relative calculus introduced