Ayberk Tosun

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Theoretical Basis

Inductive Concept Learning

Top Venues

Publications

Igor Arrieta, Martín Hötzel Escardó, Ayberk Tosun
The Patch Topology in Univalent Foundations. CoRR (2024)
Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun
Inductive Continuity via Brouwer Trees. MFCS (2023)
Ayberk Tosun, Martín Hötzel Escardó
Patch Locale of a Spectral Locale in Univalent Type Theory. CoRR (2023)