 |
Iowa Type Theory CommuteAuthor: Aaron Stump
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute. Language: en-us Genres: Mathematics, Science, Technology Contact email: Get it Feed URL: Get it iTunes ID: Get it |
Listen Now...
A Measure-Based Proof of Finite Developments
Episode 7
Wednesday, 16 April, 2025
I discuss the paper "A Direct Proof of the Finite Developments Theorem", by Roel de Vrijer. See also the write-up at my blog.
