A Purely Definitional Universal Domain (Q3183534): Difference between revisions

@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Domain Theory and Denotational Semantics in Coq
+Normal rank
@@ Property / cites work @@
+Q4945200
@@ Property / cites work: Q4945200 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal profinite domains
@@ Property / cites work: Universal profinite domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+HOLCF = HOL + LCF
@@ Property / cites work: HOLCF = HOL + LCF / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing coinduction and corecursion in higher-order logic
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank