A relational semantics for parallelism and non-determinism in a functional setting
DOI10.1016/J.APAL.2011.09.008zbMATH Open1241.03010OpenAlexW2169655078MaRDI QIDQ408545FDOQ408545
Antonio Bucciarelli, Giulio Manzonetto, Thomas Ehrhard
Publication date: 10 April 2012
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2011.09.008
Recommendations
- A Relational Model of a Parallel and Non-deterministic λ-Calculus
- Non-determinism analyses in a parallel-functional language
- scientific article; zbMATH DE number 1086633
- scientific article; zbMATH DE number 1691453
- A denotational semantics for shared-memory parallelism and nondeterminism
- Relation-based semantics for concurrency
- Toward a formal semantic framework for deterministic parallel programming
Combinatory logic and lambda calculus (03B40) Categorical semantics of formal languages (18C50) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)
Cites Work
- LCF considered as a programming language
- Linear logic
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Not Enough Points Is Enough
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- A Powerdomain Construction
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lambda-calculi for (strict) parallel functions
- A stable programming language
- Title not available (Why is that?)
- A Relational Model of a Parallel and Non-deterministic λ-Calculus
- The Scott model of linear logic is the extensional collapse of its relational model
- A Filter Model for Concurrent $\lambda$-Calculus
- Localisation and interaction in one dimension
- The lambda calculus is algebraic
- Full abstraction for lambda calculus with resources and convergence testing
- Foundations of Software Science and Computation Structures
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi
Cited In (12)
- Tight typings and split bounds, fully developed
- Title not available (Why is that?)
- Title not available (Why is that?)
- Extensional proofs in a propositional logic modulo isomorphisms
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Title not available (Why is that?)
- Call-by-Value Non-determinism in a Linear Logic Type Discipline
- A Relational Model of a Parallel and Non-deterministic λ-Calculus
- A formal library of set relations and its application to synchronous languages
- Title not available (Why is that?)
- Non-determinism analyses in a parallel-functional language
- The vectorial \(\lambda\)-calculus
This page was built for publication: A relational semantics for parallelism and non-determinism in a functional setting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q408545)
