The Double Powerlocale and Exponentiation: a Case Study (2004)

by Steven Vickers
Venue:in Geometric Logic. Theory and Applications of Categories