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 | |||||||||||||||||||||||||||||||||||||||||
Using general profile