4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Dan R. Ghica, George Kaye, David Sprunger
Digital circuits, despite having been studied for nearly a century and used at scale for about half that time, have until recently evaded a fully compositional theoretical in which…