High-Level Signatures and Initial Semantics. - Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi (CSL, 2018)

Modular Specification of Monads Through Higher-Order Presentations. - Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi (FSCD, 2019)

For Finitary Induction-Induction, Induction Is Enough. - Ambrus Kaposi; András Kovács; Ambroise Lafont (TYPES, 2019)

Signatures and models for syntax and operational semantics in the presence of variable binding. - Ambroise Lafont (CoRR, 2019)

Signatures and models for syntax and operational semantics in the presence of variable binding. (Signatures et modèles pour la syntaxe et la sémantique opérationnelle en présence de liaison de variables). - Ambroise Lafont (2019)

Modules over Monads and Operational Semantics. - André Hirschowitz; Tom Hirschowitz; Ambroise Lafont (FSCD, 2020)

A Cellular Howe Theorem. - Peio Borthelle; Tom Hirschowitz; Ambroise Lafont (LICS, 2020)

Reduction monads and their signatures. - Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi (Proc. ACM Program. Lang., 2020)

Presentable signatures and initial semantics. - Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi (Log. Methods Comput. Sci., 2021)

A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on. - Tom Hirschowitz; Ambroise Lafont (CoRR, 2022)

Modules over monads and operational semantics (expanded version). - André Hirschowitz; Tom Hirschowitz; Ambroise Lafont (Log. Methods Comput. Sci., 2022)

A categorical framework for congruence of applicative bisimilarity in higher-order languages. - Tom Hirschowitz; Ambroise Lafont (Log. Methods Comput. Sci., 2022)

A more general categorical framework for congruence of applicative bisimilarity. - Tom Hirschowitz; Ambroise Lafont (CoRR, 2023)

Dargent: A Silver Bullet for Verified Data Layout Refinement. - Zilin Chen; Ambroise Lafont; Liam O'Connor; Gabriele Keller; Craig McLaughlin; Vincent Jackson; Christine Rizkallah (Proc. ACM Program. Lang., 2023)

Variable binding and substitution for (nameless) dummies. - André Hirschowitz; Tom Hirschowitz; Ambroise Lafont; Marco Maggesi (Log. Methods Comput. Sci., 2024)

2-Functoriality of Initial Semantics, and Applications. - Benedikt Ahrens; Ambroise Lafont; Thomas Lamiaux (CoRR, 2025)