The compact double category Int(Poly_*) models control flow and data transformations

Author

Grigory Kondyrev, David I Spivak