EVCS (series) / Jonathan Brouwer

Registered user since Sun 26 Feb 2023
Contributions
EVCS | Dependently Typed Languages in Statix | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Registered user since Sun 26 Feb 2023
Contributions
EVCS | Dependently Typed Languages in Statix | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |