The extensional ordering of the sequential functionals (Q764278): Difference between revisions

@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable functionals of finite types
@@ Property / cites work: Computable functionals of finite types / rank @@
+Normal rank
@@ Property / cites work @@
+Operational domain theory and topology of sequential programming languages
+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 @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+Finitary PCF is not decidable
@@ Property / cites work: Finitary PCF is not decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Computations in higher types
@@ Property / cites work: Computations in higher types / rank @@
+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 @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Expressibility of functionals in D. Scott's LCF language
+Normal rank
@@ Property / cites work @@
+Q4109649
@@ Property / cites work: Q4109649 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Definition and Domain Theoretic Properties of Fully Abstract
+Normal rank
@@ Property / cites work @@
+Natural non-dcpo domains and f-spaces
@@ Property / cites work: Natural non-dcpo domains and f-spaces / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+Domain-Theoretic Foundations of Functional Programming
+Normal rank