Navigated to Krivine's Proof of FD, Using Intersection Types
Get the app

Log in
Iowa Type Theory Commute

ยทS6 E8

Krivine's Proof of FD, Using Intersection Types

May 5, 2025
21 mins

Episode Description

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.

See all episodes

Never lose your place, on any device

Create a free account to sync, back up, and get personal recommendations.

Create account