syco8

There are 0 repository under syco8 topic.

• georgejkaye / syco8-abstract

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

  digital-circuitscategory-theorymealy-machinesstreamsextended-abstractsycosyco8applied-category-theory
  Language:TeX 3

• georgejkaye / syco8-slides

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

  sycoslidesdigital-circuitscategory-theoryapplied-category-theorysyco8mealy-machines
  Language:TeX