TY  - RPRT
TI  - Stateful Realizers for Nonstandard Analysis
AU  - Bruno Dinis
AU  - Étienne Miquey
PY  - 2023
DO  - 10.46298/lmcs-19(2:7)2023
UR  - https://arxiv.org/abs/2210.05346
ID  - 2210.05346
ER  -