Slides for my ACT 2022 talk, 'Fully abstract categorical semantics for digital circuits'.
georgejkaye/act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
TeX
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
TeX
Slides for my ACT 2022 talk, 'Fully abstract categorical semantics for digital circuits'.