Understanding and inference - a podcast by MCMP Team

Florian Steinberger (MCMP/LMU) gives a talk at the Workshop on Meaning: Models and Proofs (11-12 Oct, 2013, co-organized by the MCMP and the Arché Research Centre, St Andrews) titled "Understanding and inference".

Further episodes of MCMP – Logic

Further podcasts by MCMP Team

Website of MCMP Team