Iowa Type Theory Commute

Author: Aaron Stump

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

Language: en-us

Genres: Mathematics, Science, Technology

Contact email: Get it

Feed URL: Get it

iTunes ID: Get it

Listen Now...

Krivine's Proof of FD, Using Intersection Types
Episode 8
Monday, 5 May, 2025

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.

Westside Family Church (Video)
Westside Family Church

Video Podcast Cramer Webcast Series
Cramer

Fanboys
fanboys

Managing complexity: a systems approach- introduction - for iBooks
The Open University

The Jesus Movement

Technische Mechanik 3, WS12/13, Vorlesung

TECHnique
Create Hub

GAZ - Der Podcast über Google (und Alphabet)
GAZpodcast

Engineering Culture by InfoQ
InfoQ

TechCrunch
TechCrunch

Digital Superheroes Podcast
Digital Superheroes

Coding With Strangers
Coding With Strangers