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 - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Étienne Miquey (Author)

Date of Publication
2021-01-13

Event
Leibniz International Proceedings in Informatics (LIPIcs)

Publication Identifiers

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:

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