TY  - RPRT
TI  - $λ$-Scale, a lambda calculus for spaces with dilations
AU  - Marius Buliga
PY  - 2012
UR  - https://arxiv.org/abs/1205.0139
ID  - 1205.0139
ER  -