Apple
Store
Mac
iPad
iPhone
Watch
AirPods
TV & Home
Unterhaltung
Zubehör
Support
0
+
Apple Podcasts
Vorschau
1 Std. 28 Min.
WIEDERGABE
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
Type Theory Forall
Technologie
Andrew Marmaduke
Website der Folge
Weitere Folgen
CC BY 4.0
Andrew Marmaduke
WIEDERGABE
1 Std. 28 Min.
Website der Folge
Weitere Folgen
CC BY 4.0
Top‑Podcasts in Technologie
13 Minutes to the Moon
BBC World Service
The TED AI Show
TED
#heiseshow (Audio) - Technik-News und Netzpolitik
heise online
The Vergecast
The Verge
Computer und Kommunikation
Deutschlandfunk
Flugforensik - Abstürze und ihre Geschichte
Flugforensik