Natural non-dcpo domains and f-spaces (Q1023300): Difference between revisions

@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / 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 @@
+Relative regular closedness and \(\pi\)-valuations
+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 @@
+Fully abstract models of typed \(\lambda\)-calculi
+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 @@
+Q4109649
@@ Property / cites work: Q4109649 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressibility of functionals in D. Scott's LCF language
+Normal rank
@@ Property / cites work @@
+Q4108313
@@ Property / cites work: Q4108313 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Definition and Domain Theoretic Properties of Fully Abstract
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank