Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
streams
category-theory
digital-circuits
applied-category-theory
extended-abstract
mealy-machines
syco
syco8
-
Updated
Dec 6, 2021 - TeX
Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
Slides for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
Add a description, image, and links to the syco8 topic page so that developers can more easily learn about it.
To associate your repository with the syco8 topic, visit your repo's landing page and select "manage topics."