Focused orthogonality as denotations of circular and non-wellfounded proofs

Farzad Jafarrahmani

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