A relational semantics for parallelism and non-determinism in a functional setting (Q408545): Difference between revisions

@@ Property / cites work @@
+Q3999603
@@ Property / cites work: Q3999603 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
+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 @@
+Full abstraction for lambda calculus with resources and convergence testing
+Normal rank
@@ Property / cites work @@
+Not Enough Points Is Enough
@@ Property / cites work: Not Enough Points Is Enough / rank @@
+Normal rank
@@ Property / cites work @@
+A Relational Model of a Parallel and Non-deterministic λ-Calculus
+Normal rank
@@ Property / cites work @@
+Q2753680
@@ Property / cites work: Q2753680 / 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 @@
+Localisation and interaction in one dimension
@@ Property / cites work: Localisation and interaction in one dimension / rank @@
+Normal rank
@@ Property / cites work @@
+The Scott model of linear logic is the extensional collapse of its relational model
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274979
@@ Property / cites work: Q4274979 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+A stable programming language
@@ Property / cites work: A stable programming language / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / 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 @@
+The lambda calculus is algebraic
@@ Property / cites work: The lambda calculus is algebraic / rank @@
+Normal rank