Operational domain theory and topology of sequential programming languages (Q1013087): Difference between revisions

@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Local realizability toposes and a modal logic for computability
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational content of the axiom of choice
+Normal rank
@@ Property / cites work @@
+Q3360172
@@ Property / cites work: Q3360172 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and totality in domains
@@ Property / cites work: Computability and totality in domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844075
@@ Property / cites work: Q2844075 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity as a theory of functional programming
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+The Role of Compactness in Analysis
@@ Property / cites work: The Role of Compactness in Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851325
@@ Property / cites work: Q2851325 / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary PCF is not decidable
@@ Property / cites work: Finitary PCF is not decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511324
@@ Property / cites work: Q4511324 / rank @@
+Normal rank
@@ Property / cites work @@
+From operational semantics to domain theory
@@ Property / cites work: From operational semantics to domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Topology, domain theory and theoretical computer science
+Normal rank
@@ Property / cites work @@
+Computability over the partial continuous functionals
+Normal rank
@@ Property / cites work @@
+On sequential functionals of type 3
@@ Property / cites work: On sequential functionals of type 3 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on logical relations between semantics and syntax
+Normal rank
@@ Property / cites work @@
+Q4225152
@@ Property / cites work: Q4225152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813228
@@ Property / cites work: Q4813228 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction, totality and PCF
@@ Property / cites work: Full abstraction, totality and PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Interdefinability of parallel operations in PCF
@@ Property / cites work: Interdefinability of parallel operations in PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Domain-Theoretic Foundations of Functional Programming
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Tychonoff's Theorem
@@ Property / cites work: Tychonoff's Theorem / rank @@
+Normal rank