SPLASH 2022 (series) / Beniamino Accattoli
Registered user since Thu 14 Apr 2022
Name:Beniamino Accattoli
Country:France
Affiliation:Inria & Ecole Polytechnique
Personal website:https://sites.google.com/site/beniaminoaccattoli/
Research interests:Lambda Calculus, Rewriting, Linear Logic, Abstract Machines
Contributions
| APLAS 2022 | Committee Member in Program Committee | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2022-profile
View general profile
View general profile