conf.researchr.org / Tesla Zhang
Registered user since Sun 24 Jan 2021
Name:Tesla Zhang
Bio:
Independent researcher studying category theory and univalent type theories. Undergraduate student.
Affiliation:The Pennsylvania State University
Personal website:https://personal.psu.edu/yqz5714
GitHub:https://github.com/ice1000
Research interests:Programming Languages, Type Theory, HoTT
Contributions