Registered user since Tue 12 Jan 2021

Name:Claudia Faggian
Affiliation:Université de Paris & CNRS

Contributions

LAFI 2023 The Variable Elimination Algorithm as a Let-Term Rewriting
Show activities from other conferences

POPL 2023-profile
View general profile