Seguir
Ayberk Tosun
Título
Citado por
Citado por
Año
Formal Topology and Univalent Foundations
T Coquand, A Tosun
PROOF AND COMPUTATION II: From Proof Theory and Univalent Mathematics to …, 2022
52022
Formal topology in univalent foundations
A Tosun
32020
Patch locale of a spectral locale in univalent type theory
A Tosun, MH Escardó
Electronic Notes in Theoretical Informatics and Computer Science 1, 2023
22023
Inductive Continuity via Brouwer Trees
L Cohen, B da Rocha Paiva, V Rahli, A Tosun
48th International Symposium on Mathematical Foundations of Computer Science …, 2023
22023
The Patch Topology in Univalent Foundations
I Arrieta, MH Escardó, A Tosun
arXiv preprint arXiv:2402.03134, 2024
2024
The Patch Frame of a Spectral Locale in Univalent Type Theory
A Tosun, MH Escardó
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6