conf.researchr.org / Alain Delaët
Registered user since Sun 16 Jan 2022
Name:Alain Delaët
Affiliation:INRIA, ENS Lyon
Contributions
| ProLaLa 2022 | Author of Turning Catala into a Proof Platform for the Law within the ProLaLa Programming Languages and the Law-track |