TY  - RPRT
TI  - On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version)
AU  - Paolo Pistone
PY  - 2021
UR  - https://arxiv.org/abs/2104.13324
ID  - 2104.13324
ER  -