Mots-clés

Nombre de documents

48

Damien Pous


Article dans une revue9 documents

Communication dans un congrès34 documents

Chapitre d'ouvrage1 document

  • Damien Pous, Davide Sangiorgi. Enhancements of the bisimulation proof method. Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012. 〈hal-00909391〉

Rapport2 documents

  • Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, et al.. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines. [Research Report] RR-9052, Inria. 2017. 〈hal-01507625〉
  • Paul Brunet, Damien Pous. Decidability of Identity-free Relational Kleene Lattices. 2014. 〈hal-01073932〉

Thèse1 document

  • Damien Pous. Techniques modulo pour les bisimulations. Informatique [cs]. ENS Lyon, 2008. Français. 〈tel-01441480〉

HDR1 document

  • Damien Pous. Automata for relation algebra and formal proofs. Computer Science [cs]. ENS Lyon, 2016. 〈tel-01445821〉