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 |