Adrienne Lancelot

According to our database, Adrienne Lancelot authored at least 9 papers between 2023 and 2026.

Collaborative distances:

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

2026

Interaction Improvement.

Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni

Proceedings of the Foundations of Software Science and Computation Structures, 2026

2025

adrilancelot/Abella-lambda-Barendregt-theory.

Adrienne Lancelot, Beniamino Accattoli, Maxime Vemclefs

Dataset, September, 2025

Comparing functional programs, or how to put λ-termsback in order: A theory of program equivalences and preorders through meaning, evaluation orders and costs. (Comparer des programmes fonctionnels, ou comment remettre les λ-termes en ordre / Comparer des programmes fonctionnels, ou comment remettre les λ-termes en ordre: Une théorie des équivalences et préordres de programmes, à travers les notions de sémantique, ordre d'évaluation et coût).

Adrienne Lancelot

PhD thesis, 2025

Interaction Equivalence.

Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto, Gabriele Vanoni

Proc. ACM Program. Lang., 2025

Barendregt's Theory of the λ-Calculus, Refreshed and Formalized.

Adrienne Lancelot, Beniamino Accattoli, Maxime Vemclefs

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

Separating Terms by Means of Multi Types, Coinductively.

Adrienne Lancelot

Proceedings of the 30th International Conference on Types for Proofs and Programs, 2024

Mirroring Call-By-Need, or Values Acting Silly.

Beniamino Accattoli, Adrienne Lancelot

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Light Genericity.

Beniamino Accattoli, Adrienne Lancelot

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Normal Form Bisimulations By Value.

Beniamino Accattoli, Claudia Faggian, Adrienne Lancelot

CoRR, 2023