nLab Damien Pous

• website

Selected publications

• Damien Pous, Jana Wagemaker, Completeness Theorems for Kleene algebra with tests and top, Logical Methods in Computer Science, Volume 20, Issue 3 (September 30, 2024). (doi:10.46298/lmcs-20(3:27)2024, arXiv:2304.07190)

• Damien Pous, Jurriaan Rot, Jana Wagemaker, On Tools for Completeness of Kleene Algebra with Hypotheses, Logical Methods in Computer Science, Volume 20, Issue 2 (May 16, 2024). (doi:10.46298/lmcs-20(2:8)2024, arXiv:2210.13020)

As editor

• Ulrik Buchholtz, Edward Morehouse, (2017). Varieties of Cubical Sets. In: Peter Höfner, Damien Pous, Georg Struth (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2017. Lecture Notes in Computer Science, vol 10226. Springer, Cham. (doi:10.1007/978-3-319-57418-9_5, arXiv:1701.08189)

category: people