Page de couverture de Iowa Type Theory Commute

Iowa Type Theory Commute

Iowa Type Theory Commute

Auteur(s): Aaron Stump
Écouter gratuitement

À propos de cet audio

 Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.© 2025 Iowa Type Theory Commute Mathématique Science
Épisodes
  • Correction: the Correct Author of the Proof from Last Episode, and an AI flop

    Correction: the Correct Author of the Proof from Last Episode, and an AI flop
    May 12 2025

    I correct what I said in the last episode about the author of the proof of FD from last episode based on intersection types. I also describe AI flopping when I ask it a question about this.
    Voir plus Voir moins
    7 min
  • Krivine's Proof of FD, Using Intersection Types

    Krivine's Proof of FD, Using Intersection Types
    May 5 2025

    Krivine's book (Section 4.2) has a proof of the Finite Developments Theorem, based on intersection types. I discuss this proof in this episode.
    Voir plus Voir moins
    22 min
  • A Measure-Based Proof of Finite Developments

    A Measure-Based Proof of Finite Developments
    Apr 16 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.
    Voir plus Voir moins
    23 min

Ce que les auditeurs disent de Iowa Type Theory Commute

Moyenne des évaluations de clients

Évaluations – Cliquez sur les onglets pour changer la source des évaluations.

Évaluations sur Audible.ca

Évaluations sur Amazon.ca
Il n'y a pas encore de critiques pour ce titre.