SPLASH 2023 (series) / Beniamino Accattoli
![Beniamino Accattoli](https://2023.splashcon.org/getProfileImage/beniaminoaccattoli/ffb5bc17-daef-4c03-955c-67af88f3909c/small.jpg?1711456749000)
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
2023
SPLASH 2023-profile
View general profile
View general profile