Showing 1 - 6 results of 6 for search 'Damien Pous', query time: 0.02s
Refine Results
-
1
Untyping Typed Algebras and Colouring Cyclic Linear Logic by Damien Pous
Published 2012-06-01
Article -
2
-
3
A Distribution Law for CCS and a New Congruence Result for the pi-calculus by Daniel Hirschkoff, Damien Pous
Published 2008-05-01
Article -
4
Companions, Causality and Codensity by Damien Pous, Jurriaan Rot
Published 2019-08-01
Article -
5
Deciding Kleene Algebras in Coq by Thomas Braibant, Damien Pous
Published 2012-03-01
Article -
6
Modular coinduction up-to for higher-order languages via first-order transition systems by Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
Published 2021-09-01
Article