Ambroise Lafont

Available identifiers

zbMath Open lafont.ambroiseMaRDI QIDQ5009702

List of research outcomes

Publication	Date of Publication	Type
Variable binding and substitution for (nameless) dummies	2024-03-11	Paper
Variable binding and substitution for (nameless) dummies	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
https://portal.mardi4nfdi.de/entity/Q5101336	2022-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q5089005	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
https://portal.mardi4nfdi.de/entity/Q5009703	2021-08-05	Paper
Probing wave function collapse models with a classically driven mechanical oscillator	2021-03-12	Paper
A Cellular Howe Theorem	2021-01-21	Paper
Modules over monads and operational semantics (expanded version)	2020-12-11	Paper
Modular specification of monads through higher-order presentations	2019-03-03	Paper

Research outcomes over time

This page was built for person: Ambroise Lafont