Proof Theoretic Harmony in Substructural Logics - a podcast by MCMP Team
from 2013-11-25T03:36:45
::
::
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".
Further episodes of MCMP – Logic
Further podcasts by MCMP Team
Website of MCMP Team