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

Advisor John Baez
Focus Categorical Logic
Concurrency (\(\pi)\)
Work [Jan 2021] Native Type Theory
[Sep 2019] Enriched Lawvere Theories for Operational Semantics
Posts Native Type Theory 1 . 2 . 3
RChain . Statebox . Summer 2019
Talks [June 2020] MIT : Structural types for algebraic theories [video] [slides]
[March 2019] UCR : The (\pi\)-calculus [video]

Check out the ACT Directory.
Send me an email to join the CT Community Server.