andrea-corradini

Pinned Repositories

• fusion

  Domain for fusion

  Language:TeX00

• nc-vs-sd

  Paper on relation between nested conditions and string diagrams

  Language:TeX00

• ngc-as-pb

  Nested Conditions as Peircian Bicategories

  Language:TeX00

andrea-corradini's Repositories