Ole T. Hjortland (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 "Proof Theoretic Harmony in Substructural Logics".
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
