VSL 2014: VIENNA SUMMER OF LOGIC 2014
Anthony Fox
Organization: University of Cambridge
Pages in this Program
HOL on Sunday, July 13th, 2014
HOL Program
Program
Program for Sunday, July 13th, 2014