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

@@ Property / Mathematics Subject Classification ID @@
+B40
@@ Property / Mathematics Subject Classification ID: 03B40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C50
@@ Property / Mathematics Subject Classification ID: 18C50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N18
@@ Property / Mathematics Subject Classification ID: 68N18 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6022774
@@ Property / zbMATH DE Number: 6022774 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(\lambda \)-calculus
@@ Property / zbMATH Keywords: \(\lambda \)-calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+relational model
@@ Property / zbMATH Keywords: relational model / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nondeterminism
@@ Property / zbMATH Keywords: nondeterminism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parallelism
@@ Property / zbMATH Keywords: parallelism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+denotational semantics
@@ Property / zbMATH Keywords: denotational semantics / 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.1016/j.apal.2011.09.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2169655078
@@ Property / OpenAlex ID: W2169655078 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:408545