Not registered as user yet

Name:Laureline Pinault
Affiliation:LIP, ENS de Lyon

Contributions

POPL 2021 Author of Cyclic Proofs, System T, and the Power of Contraction within the POPL-track