| 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.