Ambroise Lafont

According to our database, Ambroise Lafont authored at least 15 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Variable binding and substitution for (nameless) dummies.

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi

Log. Methods Comput. Sci., 2024

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., January, 2023

A more general categorical framework for congruence of applicative bisimilarity.

Tom Hirschowitz, Ambroise Lafont

CoRR, 2023

2022

A categorical framework for congruence of applicative bisimilarity in higher-order languages.

Tom Hirschowitz, Ambroise Lafont

Log. Methods Comput. Sci., 2022

Modules over monads and operational semantics (expanded version).

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont

Log. Methods Comput. Sci., 2022

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

2021

Presentable signatures and initial semantics.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Log. Methods Comput. Sci., 2021

2020

Reduction monads and their signatures.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Proc. ACM Program. Lang., 2020

A Cellular Howe Theorem.

Peio Borthelle, Tom Hirschowitz, Ambroise Lafont

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Modules over Monads and Operational Semantics.

André Hirschowitz, Tom Hirschowitz, Ambroise Lafont

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

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

PhD thesis, 2019

Signatures and models for syntax and operational semantics in the presence of variable binding.

Ambroise Lafont

CoRR, 2019

For Finitary Induction-Induction, Induction Is Enough.

Ambrus Kaposi, András Kovács, Ambroise Lafont

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

Modular Specification of Monads Through Higher-Order Presentations.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

High-Level Signatures and Initial Semantics.

Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018