An open API service indexing awesome lists of open source software.

https://github.com/georgejkaye/act2022-slides

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

act2022 applied-category-theory digital-circuits monoidal-categories string-diagrams

Last synced: about 2 months ago
JSON representation

Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'

Awesome Lists containing this project

README

        

# act2022-slides

Slides for my ACT 2022 talk, 'Fully abstract categorical semantics for digital circuits'.

* [Latest release](https://github.com/georgejkaye/act2022-slides/releases/latest)