‪Ayberk Tosun‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	12	12
h-index	2	2
i10-index	0	0

0

6

3

202020212022202320241 4 2 5

Public access

1 article

0 articles

available

not available

Based on funding mandates

Ayberk Tosun

Ayberk Tosun

University of Birmingham

Verified email at pgr.bham.ac.uk - Homepage

type theory univalent foundations univalent type theory locale theory pointfree topology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal Topology and Univalent Foundations T Coquand, A Tosun PROOF AND COMPUTATION II: From Proof Theory and Univalent Mathematics to …, 2022	5	2022
Formal topology in univalent foundations A Tosun	3	2020
Patch locale of a spectral locale in univalent type theory A Tosun, MH Escardó Electronic Notes in Theoretical Informatics and Computer Science 1, 2023	2	2023
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	2	2023
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ó

The system can't perform the operation now. Try again later.

Articles 1–6