19 results
Notation
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 339-345
-
- Chapter
- Export citation
2 - Topology and Order
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 29-50
-
- Chapter
- Export citation
Preface
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp vii-xiv
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp i-iv
-
- Chapter
- Export citation
8 - Automata Theory
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 273-329
-
- Chapter
- Export citation
6 - Omega-Point Duality
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 196-226
-
- Chapter
- Export citation
4 - Duality Methods
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 86-153
-
- Chapter
- Export citation
3 - Priestley Duality
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 51-85
-
- Chapter
- Export citation
Index
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 346-352
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp xv-xvi
-
- Chapter
- Export citation
1 - Order and Lattices
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 1-28
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 330-338
-
- Chapter
- Export citation
Contents
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp v-vi
-
- Chapter
- Export citation
7 - Domain Theory
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 227-272
-
- Chapter
- Export citation
5 - Categorical Duality
-
- Book:
- Topological Duality for Distributive Lattices
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024, pp 154-195
-
- Chapter
- Export citation
Topological Duality for Distributive Lattices
- Theory and Applications
-
- Published online:
- 16 February 2024
- Print publication:
- 07 March 2024
Substitution Principle and semidirect products
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 6 / June 2023
- Published online by Cambridge University Press:
- 15 August 2023, pp. 486-535
-
- Article
- Export citation
Quantifiers on languages and codensity monads
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 10 / November 2020
- Published online by Cambridge University Press:
- 23 June 2021, pp. 1054-1088
-
- Article
- Export citation
Canonical extensions and relational completeness of some substructural logics*
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 713-740
- Print publication:
- September 2005
-
- Article
- Export citation