georgejkaye/act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
TeX
No issues in this repository yet.
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
TeX
No issues in this repository yet.