A relative PCF-definability result for strongly stable functions and some corollaries (Q1854294): Difference between revisions

@@ Property / DOI @@
-.1006/inco.1998.2781
@@ Property / DOI: 10.1006/inco.1998.2781 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/inco.1998.2781
+Normal rank
@@ Property / OpenAlex ID @@
+W2038883640
@@ Property / OpenAlex ID: W2038883640 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of sequentiality
@@ Property / cites work: A theory of sequentiality / rank @@
+Normal rank
@@ Property / cites work @@
+Sequentiality in an extensional framework
@@ Property / cites work: Sequentiality in an extensional framework / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract semantics for observably sequential languages
+Normal rank
@@ Property / cites work @@
+Q5287527
@@ Property / cites work: Q5287527 / rank @@
+Normal rank
@@ Property / cites work @@
+On the symmetry of sequentiality
@@ Property / cites work: On the symmetry of sequentiality / rank @@
+Normal rank
@@ Property / cites work @@
+Localisation and interaction in one dimension
@@ Property / cites work: Localisation and interaction in one dimension / rank @@
+Normal rank
@@ Property / cites work @@
+Projecting sequential algorithms on strongly stable functions
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+The sequentially realizable functionals
@@ Property / cites work: The sequentially realizable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a model of the lambda calculus?
@@ Property / cites work: What is a model of the lambda calculus? / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+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 @@
+Q4092932
@@ Property / cites work: Q4092932 / rank @@
+Normal rank
@@ Property / DOI @@
+.1006/INCO.1998.2781
@@ Property / DOI: 10.1006/INCO.1998.2781 / rank @@
+Normal rank