The double powerlocale and exponentiation: A case study in geometric logic.
Vickers, Steven
Theory and Applications of Categories [electronic only], Tome 12 (2004), p. 372-422 / Harvested from The Electronic Library of Mathematics
Access to full text
Full (PDF)
Publié le : 2004-01-01
EUDML-ID : urn:eudml:doc:124549 
@article{02125651,
     title = {The double powerlocale and exponentiation: A case study in geometric logic.},
     journal = {Theory and Applications of Categories [electronic only]},
     volume = {12},
     year = {2004},
     pages = {372-422},
     zbl = {1061.06026},
     language = {en},
     url = {http://dml.mathdoc.fr/item/02125651}
}

Vickers, Steven. The double powerlocale and exponentiation: A case study in geometric logic.. Theory and Applications of Categories [electronic only], Tome 12 (2004) pp. 372-422. http://gdmltest.u-ga.fr/item/02125651/