Christian Williams
Mathematics Ph.D.
University of California Riverside
[williams at math dot ucr dot edu]

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