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'
- Host: GitHub
- URL: https://github.com/georgejkaye/act2022-slides
- Owner: georgejkaye
- Created: 2022-07-03T20:51:24.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2022-08-05T21:44:40.000Z (almost 3 years ago)
- Last Synced: 2025-04-12T06:44:15.842Z (about 2 months ago)
- Topics: act2022, applied-category-theory, digital-circuits, monoidal-categories, string-diagrams
- Language: TeX
- Homepage:
- Size: 95.7 KB
- Stars: 5
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
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)