| No. |
Title |
Author |
Year |
| 1 |
Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341) |
Bauer, Andrej et al. |
2019 |
| 2 |
Design and Implementation of the Andromeda Proof Assistant |
Bauer, Andrej et al. |
2018 |
| 3 |
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112) |
Bauer, Andrej et al. |
2016 |
| 4 |
OASIcs, Volume 11, CCA'09, Complete Volume |
Bauer, Andrej et al. |
2012 |
| 5 |
Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions |
Bauer, Andrej et al. |
2009 |
| 6 |
CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis |
Bauer, Andrej et al. |
2009 |
| 7 |
CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis |
Bauer, Andrej et al. |
2009 |
