Report - Alexandre Miquel - Sciencesconf.org · 2017-01-27 · Introduction 2nd-order arithmetic (PA2) Extracted programs Classical realizability Witness extraction From intuitionistic logic

Please pass captcha verification before submit form