Program Extraction [1 ECTS Mat/01]

Speaker:  Monika Seisenberger - Swansea University
  Monday, May 25, 2020 Fino al 29 marzo. Orario e luogo ancora da definire.
Part 1 Extraction of Programs from Constructive Proofs
1.1 Introduction, Curry Howard-Correspondence, Realizability Interpretation
1.2 Tool Support, Examples, Extension to Inductive Definitions
Part 2 Extraction of Programs from Classical Proofs
2.1 A-Translation, Choice principles
2.2 Applications for Both Parts

Programme Director
Peter Michael Schuster

Publication date
January 29, 2020