Exportar referência
APA
Bruno Dinis, Étienne Miquey, (2021). Realizability with Stateful Computations for Nonstandard Analysis. Leibniz International Proceedings in Informatics (LIPIcs), -
IEEE
Bruno Dinis, Étienne Miquey, "Realizability with Stateful Computations for Nonstandard Analysis" in Leibniz International Proceedings in Informatics (LIPIcs), , 2021, pp. -,
doi: 10.4230/LIPIcs.CSL.2021.19
BIBTEX
@InProceedings{47603,
author = {Bruno Dinis and Étienne Miquey},
title = {Realizability with Stateful Computations for Nonstandard Analysis},
booktitle = {Leibniz International Proceedings in Informatics (LIPIcs)},
year = 2021,
pages = {-},
address = {},
publisher = {}
}