From itrees to mtrees: monadic interpreters in Rocq as models of first order programming languages

Yannick Zakowski

2026-04-09 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse