VSL 2014: VIENNA SUMMER OF LOGIC 2014
Peter Sewell
Organization: University of Cambridge
Web site: http://www.cl.cam.ac.uk/~pes20
Pages in this Program
ITP on Wednesday, July 16th, 2014
ITP Program
Program
Program for Wednesday, July 16th, 2014