Advisor | John Baez |
Focus | Concurrency (\(\pi)\) and
Reflection (\(\rho\)) Algebraic Type Theory and Categorical Logic |
Work | [Sep 2019]
Enriched Lawvere Theories for Operational Semantics [Jan 2021] Native Type Theory |
Posts | RChain . Statebox . Summer 2019 |
Talks | [June 2020] Structural types for algebraic theories [video] [slides] |
Studies | Categorical Logic and Type Theory |