Proofs as Terms and Terms as Programs, Positively

Jui-Hsuan Wu

2025-01-16 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse