Realizing continuity using stateful computations

From MaRDI portal

Publication:6610616

Jump to:navigation, search

DOI10.4230/lipics.csl.2023.15MaRDI QIDQ6610616

Vincent Rahli, Liron Cohen

Publication date: 25 September 2024

zbMATH Keywords

continuity theorem proving realizability constructive type theory Intuitionism agda extensional type theory stateful computations

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication: Realizing continuity using stateful computations

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6610616&oldid=40164280"