Call-by-Value Non-determinism in a Linear Logic Type Discipline (Q3455843): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3099560079
@@ Property / OpenAlex ID: W3099560079 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4507
@@ Property / arXiv ID: 1312.4507 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types
+Normal rank
@@ Property / cites work @@
+Lambda-calculi for (strict) parallel functions
@@ Property / cites work: Lambda-calculi for (strict) parallel functions / rank @@
+Normal rank
@@ Property / cites work @@
+A relational semantics for parallelism and non-determinism in a functional setting
+Normal rank
@@ Property / cites work @@
+A new type assignment for λ-terms
@@ Property / cites work: A new type assignment for λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Filter models for conjunctive-disjunctive \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+A Filter Model for Concurrent $\lambda$-Calculus
@@ Property / cites work: A Filter Model for Concurrent $\lambda$-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A General Class of Models of $\mathcal{H}^*$
@@ Property / cites work: A General Class of Models of $\mathcal{H}^*$ / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value, call-by-need and the linear lambda calculus
+Normal rank
@@ Property / cites work @@
+Linearity, Non-determinism and Solvability
@@ Property / cites work: Linearity, Non-determinism and Solvability / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3890661
@@ Property / cites work: Q3890661 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic lambda calculus
@@ Property / cites work: The algebraic lambda calculus / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3455843