Aczel, Peter
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.

No queries for www.cs.man.ac.uk/~petera