85 citations · 103 across the 13 of their papers we have counts for
1 paper · 1 filter
Arnaud Spiwack
Leveraging topos theory a semantics can be given to sequential circuits where time-sensitive gates, such as unit delay, are treated uniformly with combinational gates. Both kinds o…