Ebben az adásban Kaposi Ambrus típuselmélész lesz a vendégünk, aki az ELTE IK Programozási nyelvek és fordítóprogramok tanszékének docense. Megbeszéljük, hogy milyen informatikai és matematikai problémákra megoldás a típuselmélet, és hogy miért egyszerre programozási nyelv és a matematika alapjait is jól megadó keretrendszer a Martin-Löf-típuselmélet. Ezúttal is a kérdezők: Györgyi Anna villamosmérnök hallgató és Molnár Zoltán matematikai logikus.
Tracklista:01. The Midnight - Kids (Prelude) (kezdődött: 00:01:08)
02. The Doors - Riders On The Storm (kezdődött: 00:34:49)
03. Le Tigre - Eau d'bedroom Dancing (kezdődött: 01:00:30)
04. Julien Daïan Quintet - September Nine (kezdődött: 01:01:50)