The double powerlocale and exponentiation: A case study in geometric logic

Steven Vickers

Research output: Contribution to journal › Article › peer-review

20 Citations (Scopus)
69 Downloads (Pure)

Fingerprint

Dive into the research topics of 'The double powerlocale and exponentiation: A case study in geometric logic'. Together they form a unique fingerprint.

Mathematics