Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Laureline Pinault
conf.researchr.org general profile
POPL 2021 profile
Not registered as user yet
Name:
Laureline Pinault
Affiliation:
LIP, ENS de Lyon
Contributions
2021
POPL
Author of Cyclic Proofs, System T, and the Power of Contraction within the POPL-track
Share
x
Mon 2 Dec 12:14