Slides for my ACT 2022 talk, 'Fully abstract categorical semantics for digital circuits'.
georgejkaye/act2022-slides
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Slides for my ACT 2022 talk, 'Fully abstract categorical semantics for digital circuits'.