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.
Information
- Program
- Publicerad5 maj 2025 kl. 20:00 UTC
- Längd22 min
- Säsong6
- Avsnitt8
- ÅldersgränsBarnvänligt