-
1
-
2
-
3
-
4
Canonicity and homotopy canonicity for cubical type theory
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
5
-
6
Canonicity for Cubical Type Theory
Veröffentlicht in Journal of automated reasoning
VolltextArtikel -
7
-
8
-
9
-
10
-
11
An Adequacy Theorem for Dependent Type Theory
Veröffentlicht in Theory of computing systems
VolltextArtikel -
12
The Univalence Axiom in Cubical Sets
Veröffentlicht in Journal of automated reasoning
VolltextArtikel -
13
-
14
-
15
-
16
Detecting strongly lensed type Ia supernovae with LSST
Veröffentlicht in Monthly notices of the Royal Astronomical Society
VolltextArtikel -
17
-
18
Detecting unresolved lensed SNe Ia in LSST using blended light curves
Veröffentlicht in Astronomy and astrophysics (Berlin)
VolltextArtikel -
19
Boroleucine‐Derived Covalent Inhibitors of the ZIKV Protease
Veröffentlicht in ChemMedChem
VolltextArtikel -
20