Topic: "act2022"
georgejkaye/act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
Language: TeX - Size: 95.7 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 0
georgejkaye/act2022-abstract
Extended abstract for my submission to ACT2022
Language: TeX - Size: 49.8 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0