Speaker / Predavač : Workshop 2010 Serbia - CNRS France
Title / Naslov: TLIT presentations
Abstract / Abstrakt:
Prof. Hugo Herbelin: Intuitionistically Proving Markov s Principle Thanks to Delimited Control Jelena Ivetic: Intuitionistic Sequent-style Calculus with Explicit Structural Rules