Leuven April24

Logical Predicates in Higher-order Mathematical Operational Semanticss
WG6 Leuven (Abstract - Slides - Video)