238 citations · 552 across the 10 of their papers we have counts for
1 paper · 2 filters
Lucas Dixon, Ross Duncan, Aleks Kissinger
We present a form of algebraic reasoning for computational objects which are expressed as graphs. Edges describe the flow of data between primitive operations which are represented…