Q4513578 (Q4513578): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024902
@@ Property / cites work: Q3024902 / 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 @@
+Q5287527
@@ Property / cites work: Q5287527 / 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 @@
+A relative PCF-definability result for strongly stable functions and some corollaries
+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 @@
+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 @@
+Q4938567
@@ Property / cites work: Q4938567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092932
@@ Property / cites work: Q4092932 / rank @@
+Normal rank