Charts
Iowa Type Theory CommuteEpisode from the podcastIowa Type Theory Commute
Next Episode
Krivine's Proof of FD, Using Intersection Types

Krivine's Proof of FD, Using Intersection Types

Released Monday, 5th May 2025
Good episode? Give it some love!
Krivine's Proof of FD, Using Intersection Types

Krivine's Proof of FD, Using Intersection Types

Krivine's Proof of FD, Using Intersection Types

Krivine's Proof of FD, Using Intersection Types

Monday, 5th May 2025
Good episode? Give it some love!
Rate Episode
List
About
InsightsPodchaser Pro
Reviews
Credits
Lists
Transcript

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.

Show More
Rate
List
Get this podcast via API

From The Podcast

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more
Do you host or manage this podcast?
Claim and edit this page to your liking.
,
Podchaser Logo

Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More