Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1.

Federico Aschieri, Stefano Berardi, Giovanni Birolo

Browse the full CSL paper archive.