TY  - RPRT
TI  - Continuous logic in a classical setting
AU  - Claudio Agostini
AU  - Stefano Baratella
AU  - Silvia Barbina
AU  - Luca Motto Ros
AU  - Domenico Zambella
PY  - 2024
DO  - 10.1007/s41980-025-00989-x
UR  - https://arxiv.org/abs/2402.01245
ID  - 2402.01245
ER  -