aboutlogic
Avsnitt

aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science

aboutlogic
Dela

Dependent Type Theory: A Revolution in Math & Computer Science | aboutlogic: premises #05 What makes dependent type theory so powerful? In this aboutlogic: premises episode, Deniz and Thorsten explore the evolution of type theory. From simple types to Pierre Martin-Löf’s groundbreaking dependent types. Discover how this innovation transformed mathematics and computer science by allowing types to depend on values, enabling more expressive and precise reasoning.

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Deniz Sarikaya, Thorsten Altenkirch. Innehållet i podden är skapat av Deniz Sarikaya, Thorsten Altenkirch och inte av, eller tillsammans med, Poddtoppen.