Krivine's Proof of FD, Using Intersection Types
Échec de l'ajout au panier.
Veuillez réessayer plus tard
Échec de l'ajout à la liste d'envies.
Veuillez réessayer plus tard
Échec de la suppression de la liste d’envies.
Veuillez réessayer plus tard
Échec du suivi du balado
Ne plus suivre le balado a échoué
Krivine's Proof of FD, Using Intersection Types
-
Narrateur(s):
-
Auteur(s):
À propos de cet audio
Krivine's book (Section 4.2) has a proof of the Finite Developments Theorem, based on intersection types. I discuss this proof in this episode.
Pas encore de commentaire