The Fine Structure of Formal Proof Systems and their Computational Interpretations

01.01.2016 - 30.06.2019
Research funding project

People

Project leader

Institute

Grant funds

  • FWF - Österr. Wissenschaftsfonds (National) National Research Network (NFN) Austrian Science Fund (FWF) Call identifier I 2671-N35

Research focus

  • Beyond TUW-research focus: 100%

External partner

  • Universität Innsbruck

Publications