"Realizability and Strong Normalization for a Curry-Howard Interpretation ..."

Federico Aschieri, Stefano Berardi, Giovanni Birolo (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics