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
Research interests:Programming Languages, Type Theory, HoTT

Contributions

WITS 2022 Multi case trees: confluence and coverage (discussion)
First-class pattern synonyms
Show activities from other conferences

Using general profile