Tesla Zhang - ICFP 2021 (original) (raw)

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

2021

Show activities from other conferences