Registered user since Sun 6 Dec 2020
Name:Olivier Laurent
Country:France
Affiliation:CNRS & ENS Lyon
Personal website:https://perso.ens-lyon.fr/olivier.laurent/
Contributions
CPP 2021 | An Anti-Locally-Nameless Approach to Formalizing Quantifiers | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile