VSL 2014: VIENNA SUMMER OF LOGIC 2014
Andrew Pitts
Organization: University of Cambridge
Web site: http://www.cl.cam.ac.uk/users/amp12/
Pages in this Program
CSL-LICS Program Committee