『#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot』のカバーアート

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

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

無料で聴く

ポッドキャストの詳細を見る

このコンテンツについて

In this episode Pierre-Marie Pédrot who is one of the main Coq/Rocq developers joins us to talk about what is Type Theory, what is Martin-Löf 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

#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrotに寄せられたリスナーの声

カスタマーレビュー：以下のタブを選択することで、他のサイトのレビューをご覧になれます。

Audible.co.jp

Amazon.co.jp
レビューはまだありません。