Ayberk Tosun

According to our database, Ayberk Tosun authored at least 5 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Constructive and Predicative Locale Theory in Univalent Foundations.

Ayberk Tosun

CoRR, March, 2026

2025

The patch topology in univalent foundations.

Igor Arrieta, Martín Hötzel Escardó, Ayberk Tosun

Math. Struct. Comput. Sci., 2025

Internal Effectful Forcing in System T.

Martín Hötzel Escardó, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2023

Patch Locale of a Spectral Locale in Univalent Type Theory.

Ayberk Tosun, Martín Hötzel Escardó

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2023

Inductive Continuity via Brouwer Trees.

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

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023