Syntax Meets Semantics
Thursday December 15, 2022, 2PM, salle 1007
Victor Arrial Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework
Syntax Meets Semantics
Thursday November 3, 2022, 2PM, salle 1007
Loic Peyrot Repetition soutenance de these
Syntax Meets Semantics
Friday October 28, 2022, 2PM, salle 1007
Pablo Barenbaum Proof Terms for Higher-Order Rewriting and Their Equivalence
Syntax Meets Semantics
Wednesday October 19, 2022, 2PM, salle 1007
Adrienne Lancelot Open Call-by-Value and Open Similarity