
Registered user since Mon 13 Oct 2014
Contributions
CPP 2021 | Gradualizing the Calculus of Inductive Constructions | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile
Registered user since Mon 13 Oct 2014
Contributions
CPP 2021 | Gradualizing the Calculus of Inductive Constructions | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |