Generalised powerlocales via relation lifting (Q4911306): Difference between revisions

@@ Property / author @@
-Yde Venema
@@ Property / author: Yde Venema / rank @@
-Normal rank
@@ Property / author @@
+Yde Venema
@@ Property / author: Yde Venema / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3264
@@ Property / arXiv ID: 1202.3264 / rank @@
+Normal rank
@@ Property / cites work @@
+Nabla Algebras and Chu Spaces
@@ Property / cites work: Nabla Algebras and Chu Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+Complementation of Coalgebra Automata
@@ Property / cites work: Complementation of Coalgebra Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+Presenting Dcpos and Dcpo Algebras
@@ Property / cites work: Presenting Dcpos and Dcpo Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996444
@@ Property / cites work: Q3996444 / rank @@
+Normal rank
@@ Property / cites work @@
+A universal characterization of the double powerlocale
+Normal rank
@@ Property / cites work @@
+Compactness in locales and in formal topology
@@ Property / cites work: Compactness in locales and in formal topology / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive points of powerlocales
@@ Property / cites work: Constructive points of powerlocales / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and fixed point logic: a coalgebraic perspective
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4911306