<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

Dwarkesh Podcast

Type Theory Forall