georgejkaye/syco8-abstract

Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'

语言：TeX · GitHub 星标：4 · Fork：0

话题：applied-category-theory · category-theory · digital-circuits · extended-abstract · mealy-machines · streams · syco · syco8

在 GitHub 上查看原仓库