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

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

Slides for my ACT 2024 talk, 'Fully Compositional Semantics for Digital Circuits'
https://github.com/georgejkaye/act2024-slides

Last synced: about 2 months ago
JSON representation

Slides for my ACT 2024 talk, 'Fully Compositional Semantics for Digital Circuits'

Awesome Lists containing this project

README

        

# act2024-slides

Slides for my [ACT 2024](https://oxford24.github.io/) talk, 'A Fully Compositional Theory of Sequential Digital Circuits'.