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 |