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:00:43)
02. Hó Márton és a Jégkorszak - I'm a singer-songwriter (kezdődött: 00:34:25)
03. Rokazer - Syrma (Original Mix) (kezdődött: 00:59:26)