Adrienne Lancelot

According to our database, Adrienne Lancelot authored at least 5 papers between 2023 and 2025.

Collaborative distances:

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

2025

Interaction Equivalence.

Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto, Gabriele Vanoni

Proc. ACM Program. Lang., 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