#

act2022

Here are 2 public repositories matching this topic...

georgejkaye / act2022-slides

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

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

Updated Aug 5, 2022
TeX

georgejkaye / act2022-abstract

Extended abstract for my submission to ACT2022

digital-circuits act2022

Updated Jul 9, 2022
TeX

Improve this page

Add a description, image, and links to the act2022 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the act2022 topic, visit your repo's landing page and select "manage topics."