Inductive continuity via Brouwer trees

From MaRDI portal

Publication:6647666

Jump to:navigation, search

DOI10.4230/lipics.mfcs.2023.37MaRDI QIDQ6647666

Ayberk Tosun, Vincent Rahli, Liron Cohen, Paiva Bruno Da Rocha

Publication date: 3 December 2024

zbMATH Keywords

continuity theorem proving realizability constructive type theory intuitionistic logic agda dialogue trees extensional type theory stateful computations

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Inductive continuity via Brouwer trees

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