Arthur Correnson

Registered user since Mon 27 Jun 2022

Name:Arthur Correnson
Affiliation:École Normale Supérieure de Rennes & Saarland University

Contributions

ProLaLa 2023 What do Relational Properties Have to Say About Legal Expert Systems ?
Show activities from other conferences

POPL 2023-profile
View general profile