Registered user since Fri 11 Nov 2022

Name:Victor Arrial
Country:France
Affiliation:IRIF- Université Paris Cité

Contributions

POPL 2023 Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework
Show activities from other conferences

Using general profile