Adrienne Lancelot

⌂ – Research – Publications – Talks – Teaching – Service – λ

In proceedings

• Mirroring Call-by-Need, or Values Acting Silly — Accattoli and Lancelot, LMCS 2026 (paper, journal version of the FSCD24 paper)

• Interaction Improvement — Lancelot, Manzonetto, McCusker and Vanoni, FoSSaCS 2026 (paper at publisher’s, preferred version with proofs)

• Barendregt’s Theory of the Lambda-Calculus, Refreshed and Formalized — Lancelot, Accattoli and Vemclefs, ITP 2025 (paper — formalization) Results formalized in the Abella proof assistant.

• Separating Terms by Means of Multi Types, Coinductively — Lancelot, post-proceedings of TYPES 2024 (paper)

• Interaction Equivalence — Accattoli, Lancelot, Manzonetto and Vanoni, POPL 2025 (paper — with proofs)

• Mirroring Call-by-Need, or Values Acting Silly — Accattoli and Lancelot, FSCD 2024 (paper — with proofs)

• Light Genericity — Accattoli and Lancelot, FoSSaCS 2024 (paper — with proofs)

PhD Thesis

• Comparing functional programs, or how to put λ-terms back in order — Lancelot (hal-theses, more info)

Preprints

• Normal Form Bisimulations by Value — Accattoli, Lancelot and Faggian (technical report)