A Measure-Based Proof of Finite Developments

Iowa Type Theory Commute
16/04/2025 23 min Temporada 6 Episodio 7
A Measure-Based Proof of Finite Developments

Listen "A Measure-Based Proof of Finite Developments"

Descargar episodio

Episode Synopsis

I discuss the paper "A Direct Proof of the Finite Developments Theorem", by Roel de Vrijer.  See also the write-up at my blog.
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA