VSL 2014: VIENNA SUMMER OF LOGIC 2014
John Mitchell
Organization: Stanford University
Web site: http://www.stanford.edu/~jcm
Pages in this Program
CSF Program Committee