<p>I discuss the paper<a href='https://queuea9.wordpress.com/wp-content/uploads/2025/04/vrijer-directprooffinite-1985.pdf'> "A Direct Proof of the Finite Developments Theorem"</a>, by Roel de Vrijer.  See also the <a href='https://queuea9.wordpress.com/2025/04/16/a-measure-based-proof-of-the-finite-developments-theorem/'>write-up</a> at my blog.</p>

I discuss the paper "A Direct Proof of the Finite Developments Theorem", by Roel de Vrijer. See also the write-up at my blog.

<p>I discuss the paper<a href="https://queuea9.wordpress.com/wp-content/uploads/2025/04/vrijer-directprooffinite-1985.pdf" rel="noopener noreferrer"> "A Direct Proof of the Finite Developments Theorem"</a>, by Roel de Vrijer.&nbsp; See also the <a href="https://queuea9.wordpress.com/2025/04/16/a-measure-based-proof-of-the-finite-developments-theorem/" rel="noopener noreferrer">write-up</a> at my blog.</p>

A Measure-Based Proof of Finite Developments

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

Share A Measure-Based Proof of Finite Developments

Sign up to save your podcasts

A Measure-Based Proof of Finite Developments

A Measure-Based Proof of Finite Developments

More shows like Iowa Type Theory Commute

The Changelog: Software Development, Open Source

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

Interesting Times with Ross Douthat

Tech Won't Save Us

Dwarkesh Podcast

The Ezra Klein Show

The Haskell Interlude

Software Unscripted

Oxide and Friends