TY  - JOUR
AU  - Daniel Figueroa
AU  - Benno van den Berg
TI  - A topos for continuous logic
JO  - Theory and applications of categories
PY  - 2022
SP  - 1108
EP  - 1135
VL  - 38
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2022_38_a27/
LA  - en
ID  - TAC_2022_38_a27
ER  -