From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem
Résumé
These are the slides and lecture notes for a 5x90min course given online via Zoom at ESSLLI 2021.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)