Video not available

Send us an email to

Formal languages, coinductively formalized in Agda

0 0
COST Action CA15123 EUTYPES MC & WG Meeting

This is a EUTypes MC&WG meeting. It takes place in connection with a workshop on Syntax and Semantics of Type Theory workshop (SSTT), organized by Vladimir Voevodsky and Andrej Bauer. Both meet...