Iso-Recursive Multiparty Sessions and their Automated Verification

NOVA LINCS Seminar by Marco Giunti (University of Oxford, England)
19 March 2025, 14h00