TY  - RPRT
TI  - Dynamic Tangled Derivative Logic of Metric Spaces
AU  - David Fernández-Duque
AU  - Yoàv Montacute
PY  - 2023
UR  - https://arxiv.org/abs/2301.09904
ID  - 2301.09904
ER  -