Accéder directement au contenu

Damien Pous

2
Documents

Publications

1103154
Image document

Corecursion up-to via Causal Transformations

 Damien Pous , Jurriaan Rot , Ruben Turkenburg
Coalgebraic Methods in Computer Science, Apr 2022, Munich, Germany. ⟨10.1007/978-3-031-10736-8_7⟩
Communication dans un congrès hal-03694381v1
Image document

On Tools for Completeness of Kleene Algebra with Hypotheses

 Damien Pous , Jurriaan Rot , Jana Wagemaker
19th International Conference on Relational and Algebraic Methods in Computer Science ( RAMICS 2021 ), Nov 2021, Luminy, France. ⟨10.1007/978-3-030-88701-8_23⟩
Communication dans un congrès hal-03269462v2