Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
figures @ ae9f8fa		figures @ ae9f8fa
imgs		imgs
latex-scripts @ cb8edec		latex-scripts @ cb8edec
macros @ 0e39db3		macros @ 0e39db3
sections		sections
.gitignore		.gitignore
.gitmodules		.gitmodules
Makefile		Makefile
README.md		README.md
main-presentation.tex		main-presentation.tex
main-static.tex		main-static.tex
main.tex		main.tex

Repository files navigation

act2022-slides

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

Latest release

About

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

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

5 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages