Registered user since Sun 24 Jan 2021
Independent researcher studying category theory and univalent type theories. Undergraduate student.
Affiliation:The Pennsylvania State University
Research interests:Programming Languages, Type Theory, HoTT
|TyDe 2021||A Simpler Encoding of Indexed Types|
|Show activities from other conferences|
Using general profile