Type Theory Forall

Pedro Abreu
  • 5.0 (10)
  • TECHNOLOGY
  • UPDATED MONTHLY
Type Theory Forall

An accessible podcast about Type Theory, Programming Languages Research and related topics.

  1. MAR 14

    #49 Self-Education in PL - Ryan Brewer

    Type Theory Forall

    2h 24m

  2. JAN 21

    #48 Bell Labs - David MacQueen

    Type Theory Forall

    2h 10m

  3. JAN 7

    #47 The History of LCF, ML and HOPE - David MacQueen

    Type Theory Forall

    2h 5m

  4. 11/29/2024

    #46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot

    Type Theory Forall

    1h 4m

  5. 11/24/2024

    #45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot

    Type Theory Forall

    1h 22m

  6. 11/06/2024

    #44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

    Type Theory Forall

    2h 14m

  7. 09/13/2024

    #43 PL in the Industry and Summer Schools - Patrick and Eric

    Type Theory Forall

    1h 2m

  8. 08/29/2024

    #42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

    Type Theory Forall

    1h 53m
See All (61)

Ratings & Reviews

5
out of 5
10 Ratings

About

An accessible podcast about Type Theory, Programming Languages Research and related topics.

Information

  • Creator
    Pedro Abreu
  • Years Active
    2020 - 2025
  • Episodes
    61
  • Rating
    Explicit
  • Copyright
    © CC BY 4.0
  • Show Website
    Type Theory Forall

You Might Also Like

To listen to explicit episodes, sign in.

Stay up to date with this show

Sign in or sign up to follow shows, save episodes, and get the latest updates.
Select a country or region

Africa, Middle East, and India

Asia Pacific

Europe

Latin America and the Caribbean

The United States and Canada