Guillaume Munch-Maccagnoni
Guillaume Munch-Maccagnoni
Affiliation: INRIA, LS2N CNRS
Pages in this Program
Representing non-associativity in effectful situation : String diagrams and sequential proof-nets
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑