On the reification of semantic linearity (Q5741580): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The sequentially realizable functionals
@@ Property / cites work: The sequentially realizable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893911
@@ Property / cites work: Q3893911 / rank @@
+Normal rank
@@ Property / cites work @@
+A stable programming language
@@ Property / cites work: A stable programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and Full Abstraction
@@ Property / cites work: Definability and Full Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Program equivalence in a linear functional language
+Normal rank
@@ Property / cites work @@
+Sequentiality in an extensional framework
@@ Property / cites work: Sequentiality in an extensional framework / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential algorithms on concrete data structures
@@ Property / cites work: Sequential algorithms on concrete data structures / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of sequentiality
@@ Property / cites work: A theory of sequentiality / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's system \(\mathcal T\) revisited
@@ Property / cites work: Gödel's system \(\mathcal T\) revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Recursive Functions
@@ Property / cites work: Linear Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Linear Functions
@@ Property / cites work: The Power of Linear Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / 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 @@
+BCK-combinators and linear \(\lambda\)-terms have types
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Q5713333
@@ Property / cites work: Q5713333 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with Functionals—Computability Theory or Computer Science?
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5741580