act2022

There are 0 repository under act2022 topic.

georgejkaye / act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
act2022 digital-circuits monoidal-categories string-diagrams applied-category-theory
Language:TeX 5
georgejkaye / act2022-abstract
Extended abstract for my submission to ACT2022
digital-circuits act2022
Language:TeX

georgejkaye / act2022-slides