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 |