A Measure-Based Proof of Finite Developments

Iowa Type Theory Commute

Вміст надано Aaron Stump. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Aaron Stump або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

7M ago 23:24

MP3•Головна епізоду

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

178 епізодів

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

A Measure-Based Proof of Finite Developments

Iowa Type Theory Commute

14 subscribers

published 7M ago

Поширити

MP3•Головна епізоду

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

178 епізодів

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

All episodes

Ласкаво просимо до Player FM!

Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.

Слухайте шоу на 500+ тем

Схожі до Iowa Type Theory Commute

Подкасти, які варто послухати

Iowa Type Theory Commute « » A Measure-Based Proof of Finite Developments

A Measure-Based Proof of Finite Developments

Подкасти, які варто послухати

Ласкаво просимо до Player FM!

Схожі до Iowa Type Theory Commute

Короткий довідник

Iowa Type Theory Commute « »
A Measure-Based Proof of Finite Developments