Christian Williams
PhD Mathematics, University of California Riverside
[williams at math dot ucr dot edu]

Advisor John Baez
Focus The Algebra of Syntax . Concurrency (\(\pi\)) . Reflection (\(\rho\))
Work Enriched Lawvere Theories for Operational Semantics
Posts RChain . Statebox . Summer 2019
Talks ELTfOS Slides
Studies Substitution