conf.researchr.org / Tesla Zhang
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
|WITS 2022|| Chair of Multi case trees: confluence and coverage (discussion) within the WITS 2022-track|
Author of First-class pattern synonyms within the WITS 2022-track
|TyDe 2021||Author of A Simpler Encoding of Indexed Types within the TyDe 2021-track|