Martin-L¨ of Clashes With Griffin, Operationally Paul Blain Levy University of Birmingham, Birmingham B15 2TT, United Kingdom

First Page		Document Content
Date: 2007-08-30 06:05:57		Martin-L¨ of Clashes With Griffin, Operationally Paul Blain Levy University of Birmingham, Birmingham B15 2TT, United Kingdom Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 147,48 KB Share Document on Facebook