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

  • Nov 24 2024
  • Length: 1 hr and 22 mins
  • Podcast

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

Listen for free

View show details

  • Summary

  • In this episode Pierre-Marrie Pédrot who is one of the main Coq/Rocq developers joins us to talk about what is Type Theory, what is Martin-Lof Type Theory, what are the properties we should care about in our type theory and why.

    If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

    Links
    • Pierre-Marie's Website
    • Type Theory Forall website
    • Type Theory Forall discord
    Show more Show less
Show more Show less
activate_Holiday_promo_in_buybox_DT_T2

What listeners say about #45 What is Type Theory and What Properties we Should Care About - Pierre-Marrie Pédrot

Average customer ratings

Reviews - Please select the tabs below to change the source of reviews.

Audible.com reviews

Amazon reviews
No Reviews are Available