
Registered user since Sun 23 Aug 2020
Name:Jonathan Chan
Country:Canada
Affiliation:University of British Columbia (UBC)
Personal website:https://ionathan.ch
Twitter:https://twitter.com/ionathanch
Research interests:Dependent Types, Type Theory, Proof Assistants
Contributions
POPL 2022 | Towards a Syntactic Model of Sized Dependent Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile