2024-03-01: Wen Kokke (MSP)

Wed, 28 Feb 2024 13:30:18 +0000

Wen Kokke (MSP)

Type-Logical Grammar, Controlled Substructure, and Display Calculus

2024-03-01 15:00:00 UTC
LT209 and Online