Ambroise Lafont

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Variable binding and substitution for (nameless) dummies Logical Methods in Computer Science	2024-03-11	Paper
Variable binding and substitution for (nameless) dummies Lecture Notes in Computer Science	2024-01-23	Paper
For Finitary Induction-Induction, Induction is Enough	2023-10-27	Paper
A more general categorical framework for congruence of applicative bisimilarity	2023-03-21	Paper
scientific article; zbMATH DE number 7577567 (Why is no real title available?) (available as arXiv preprint)	2022-08-30	Paper
scientific article; zbMATH DE number 7577567 (Why is no real title available?)	2022-08-30	Paper
scientific article; zbMATH DE number 7559272 (Why is no real title available?) (available as arXiv preprint)	2022-07-18	Paper
High-level signatures and initial semantics	2022-05-28	Paper
A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on	2022-04-08	Paper
scientific article; zbMATH DE number 7379288 (Why is no real title available?) (available as arXiv preprint)	2021-08-05	Paper
Probing wave function collapse models with a classically driven mechanical oscillator New Journal of Physics	2021-03-12	Paper
A Cellular Howe Theorem Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Modules over monads and operational semantics (expanded version) (available as arXiv preprint)	2020-12-11	Paper
Modular specification of monads through higher-order presentations (available as arXiv preprint)	2019-03-03	Paper

Research outcomes over time

This page was built for person: Ambroise Lafont