Exportar referência
APA
Bruno Dinis, Étienne Miquey, (2023). Stateful Realizers for Nonstandard Analysis. Logical Methods in Computer Science, Volume 19, Issue 2, ISSN 1860-5974. eISSN . http://dx.doi.org/10.46298/lmcs-19(2:7)2023
IEEE
Bruno Dinis, Étienne Miquey, "Stateful Realizers for Nonstandard Analysis" in Logical Methods in Computer Science, vol. Volume 19, Issue 2, 2023.
10.46298/lmcs-19(2:7)2023
BIBTEX
@article{58598,
author = {Bruno Dinis and Étienne Miquey},
title = {Stateful Realizers for Nonstandard Analysis},
journal = {Logical Methods in Computer Science},
year = 2023,
volume = Volume 19, Issue 2
}