Navigated to A Measure-Based Proof of Finite Developments

Create account Log in

Iowa Type Theory Commute

·S6 E7

A Measure-Based Proof of Finite Developments

Apr 16, 2025

23 mins

Episode Description

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

See all episodes

Never lose your place, on any device

Create a free account to sync, back up, and get personal recommendations.