Alessandro Di Giorgio

Tallinn University of Technology
Compositional Systems and Methods

• About
• News
• Publications
• Teaching
• Software

Software

• ∀isual∃ - A tool for drawing string diagrams for first-order bicategories.