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
2021
ICFP 2021-profile
View general profile
View general profile