Click on a search word OR use the drop-down choices to search for a paper.

Show all


Diskin, Zinovy; Stunkel, Patrick

Sketches, queries, views, and their Kleisli composition: towards universal algebra of diagrammatic operations with pre- and post-conditions Technical Report


Links | BibTeX | Tags: diagrammatic operations, diagrammatic reasoning, Kleisli composition, presheaves, sketches, software modeling