BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Realizability with Stateful Computations for Nonstandard Analysis

Participants in the publication
Bruno Dinis (Author)
Dep. Matemática
 CMAFcIO
 Étienne Miquey (Author)

Date of Publication
2021-01-13

Event
Leibniz International Proceedings in Informatics (LIPIcs)

Publication Identifiers

Document Identifiers
DOI - https://doi.org/10.4230/LIPIcs.CSL.2021.19

Notes
https://drops.dagstuhl.de/opus/volltexte/2021/13453/


Export

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 = {} }