Diagrammatic Morphisms and Applications: AMS Special Session ...
David E. Radford
At the CT90 Conference in Como, Italy, Wesley Phoa introduced me to Martin Hyland's student Dominic Verity who said he was interested in proving the conjecture. During the CT 91 Conference at McGill University, Wesley brought me a ...