#45 What is Type Theory and What Properties we Should Care About

https://is1-ssl.mzstatic.com/image/thumb/Podcasts126/v4/68/3a/08/683a080b-2771-d2de-b20a-5085c491f3c3/mza_15131626310448981176.png/600x600bb.jpg

Type Theory Forall

Pedro Abreu

57 episodes

1 week ago

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

Technology

Science

RSS

All content for Type Theory Forall is the property of Pedro Abreu and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

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

Technology

Science

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

Type Theory Forall

1 hour 21 minutes

1 year ago

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