Krivine's Proof of FD, Using Intersection Types

Iowa Type Theory Commute
05/05/2025 21 min Temporada 6 Episodio 8
Krivine's Proof of FD, Using Intersection Types

Listen "Krivine's Proof of FD, Using Intersection Types"

Descargar episodio

Episode Synopsis

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.
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA