( en | de | ru )

 

Disambiguation of "Pous, Damien"

Author of the publication

copydeleteadd this publication to your clipboard
Fully abstract encodings of λ-calculus in HOcore through abstract machines.

, , , , , and . LICS, page 1-12. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Damien Pous

Nicolas Pous

Nader Pousttchi

Cherry Poussa

Damien Guironnet

Catalytic polymerization of acrylates and in supercritical carbon dioxide. Uni Konstanz, (2009)
 

Other publications of authors with the same name

Cyclic proofs, system t, and the power of contraction., , and . Proc. ACM Program. Lang., 5 (POPL): 1-28 (2021)A Certificate-Based Approach to Formally Verified Approximations., , and . ITP, volume 141 of LIPIcs, page 8:1-8:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Modular coinduction up-to for higher-order languages via first-order transition systems., , and . CoRR, (2020)Cyclic Proofs and Jumping Automata., , and . FSTTCS, volume 150 of LIPIcs, page 45:1-45:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines., , , , , and . CoRR, (2022)Corecursion Up-to via Causal Transformations., , and . CMCS, volume 13225 of Lecture Notes in Computer Science, page 133-154. Springer, (2022)Fully abstract encodings of λ-calculus in HOcore through abstract machines., , , , , and . LICS, page 1-12. IEEE Computer Society, (2017)Coinductive Algorithms for Büchi Automata., , and . Fundam. Informaticae, 180 (4): 351-373 (2021)Bisimulation and Coinduction Enhancements: A Historical Perspective., and . Formal Aspects Comput., 31 (6): 733-749 (2019)On Tools for Completeness of Kleene Algebra with Hypotheses., , and . RAMiCS, volume 13027 of Lecture Notes in Computer Science, page 378-395. Springer, (2021)