The double powerlocale and exponentiation: A case study in geometric reasoning, Theory and Applications of Categories 12 (2004)

by Steven Vickers
Venue:School of Computer Science, University of Birmingham
Citations:10 - 8 self