Ambroise Lafont

According to our database1, Ambroise Lafont authored at least 7 papers between 2018 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Reduction monads and their signatures.
Proc. ACM Program. Lang., 2020

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

Modules over Monads and Operational Semantics.
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.
CoRR, 2019

For Finitary Induction-Induction, Induction Is Enough.
Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

Modular Specification of Monads Through Higher-Order Presentations.
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018
High-Level Signatures and Initial Semantics.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018


  Loading...