Registered user since Sun 24 Jan 2021

Name:Tesla Zhang

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