-
1
-
2
-
3
-
4
-
5
A univalent formalization of the p-adic numbers
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
6
-
7
BICATEGORICAL FIBRATION STRUCTURES AND STACKS
Veröffentlicht in Theory and applications of categories
VolltextArtikel -
8
-
9
-
10
-
11
Combinatorial realizability models of type theory
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
12
Voevodsky’s Univalence Axiom in Homotopy Type Theory
Veröffentlicht in Notices of the American Mathematical Society
VolltextArtikel -
13
-
14
-
15
-
16
-
17
-
18
A CHARACTERIZATION OF REPRESENTATIVE INTERVALS
Veröffentlicht in Theory and applications of categories
VolltextArtikel -
19
-
20
Coalgebras in a category of classes
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel