Report - Realizability and Strong Normalization for Heyting ... fileFederico Aschieri (joint work S. Berardi, G. Birolo) Equipe Plume, LIP ENS de Lyon Toulouse, 24 Avril 2013 Federico Aschieri

Please pass captcha verification before submit form