194 citations · 1.2k across the 78 of their papers we have counts for
1 paper · 2 filters
Aleks Kissinger
In recent years, diagrammatic languages have been shown to be a powerful and expressive tool for reasoning about physical, logical, and semantic processes represented as morphisms…