Chad Nester, Concurrent Process Histories and Resource Transducers, (arXiv), 2022

Theory of programming languagues

Pierre-Evariste Dagand, Conor McBride, A Categorical Treatment of Ornaments, (acm), 2013

Max New, Dan Licata, Call-by-name Gradual Type Theory, (arXiv), 2018

Max New, Dan Licata, A Formal Logic for Formal Category Theory, (arXiv), 2022

Clovis Eberhart, Tom Hirschowitz, Fibred Pseudo Double Categories for Game Semantics, TAC 34(19), 2019. Beware, “fibred” is use there to mean that the codomain functor is a fibration.

Last revised on December 1, 2023 at 07:03:16.
See the history of this page for a list of all contributions to it.