University of Birmingham, School of Computer Science Technical Report CSR-05-3: A Priestly Representation for Strong Proximity Lattices and Stably Compact Spaces

Research output: Working paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Publication statusPublished - 1 Jan 2005
Save citation Saved citations (0)

Copy the text from this field...

View graph of relations

By the same authors

A dichotomy result for locally compact sober dcpos

Achim Jung, 30 Nov 2019, In: Houston Journal of Mathematics. 45, 3, p. 935-951

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

Non-involutive twist-structures

Achim Jung, 29 Nov 2018, In: Interest Group in Pure and Applied Logics. Logic Journal. 27 p., jzy070.

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

From the Chinese room argument to the Church-Turing thesis

Achim Jung, 6 Apr 2018, Proceedings of AISB Annual Convention 2018: Philosohphy after AI: mind, language and action Symposium. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), p. 25-29 5 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The Ho-Zhao problem

Achim Jung, 17 Jan 2018, In: Logical Methods in Computer Science. 14, 1, 19 p., 7.

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