On the relationship between compact regularity and Gentzen's cut rule (Q1434354): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4945205
@@ Property / cites work: Q4945205 / rank @@
+Normal rank
@@ Property / cites work @@
+A representation of stably compact spaces, and patch topology.
+Normal rank
@@ Property / cites work @@
+Q4261084
@@ Property / cites work: Q4261084 / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-locally compact coreflection of a stably locally compact locale
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265614
@@ Property / cites work: Q4265614 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous domains in logical form
@@ Property / cites work: Continuous domains in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Q5340517
@@ Property / cites work: Q5340517 / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank