A Fully Compositional Theory of Digital Circuits
Rewriting modulo traced comonoid structure
A compositional theory of digital circuits
A compositional theory for digital circuits
Fully abstract categorical semantics for digital circuits
Normalisation by evaluation for digital circuits
Rewriting graphically with Cartesian traced categories
Diagrammatic semantics with symmetric traced monoidal categories
Diagrammatic semantics for digital circuits
A visualiser for linear lambda-terms as rooted 3-valent maps
Visits
SYCO 10
Edinburgh
December 19-20, 2022
SYCO 8
Tallinn
December 13-14, 2021
SYCO 7
Tallinn
March 30-31, 2020
SYCO 6
Leicester
December 16-17, 2019