Registered user since Sat 12 Nov 2022

Name:Axel Kerinec
Affiliation:Université Sorbonne Paris Nord

Contributions

POPL 2023 Why are proofs relevant in proof-relevant models?
Show activities from other conferences

Using general profile