-
1
-
2
A new description of orthogonal bases
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
3
Exact dynamics in dual-unitary quantum circuits with projective measurements
Veröffentlicht in Physical review research
VolltextArtikel -
4
-
5
Globular: an online proof assistant for higher-dimensional rewriting
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
6
A Categorical Framework for the Quantum Harmonic Oscillator
Veröffentlicht in International journal of theoretical physics
VolltextArtikel -
7
-
8
A classical groupoid model for quantum networks
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
9
Categorical Formulation of Finite-Dimensional Quantum Algebras
Veröffentlicht in Communications in mathematical physics
VolltextArtikel -
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
Completeness of †-categories and the complex numbers
Veröffentlicht in Journal of mathematical physics
VolltextArtikel -
18
-
19
-
20
Mixed quantum states in higher categories
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel