Lambda-calculi for (strict) parallel functions
DOI10.1006/INCO.1994.1003zbMATH Open0796.03021OpenAlexW2102549858MaRDI QIDQ1314269FDOQ1314269
Publication date: 26 September 1994
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00075174/file/RR-1387.pdf
parallel computationfull abstractioncontinuous functionstype assignmentcall-by-valuerealizability interpretationdomains of parallel functionslazy \(\lambda\)-calculusparallel lambda-calculus
General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)
Cited In (26)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- A fully abstract model for mobile ambients
- A relational semantics for parallelism and non-determinism in a functional setting
- Title not available (Why is that?)
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi
- Full abstraction for lambda calculus with resources and convergence testing
- Full abstractness for a functional/concurrent language with higher-order value-passing
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
- Linear-algebraic 位-calculus: higher-order, encodings, and confluence.
- Extensional proofs in a propositional logic modulo isomorphisms
- Algebraic interpretation of lambda calculus with resources
- Intersection types for \(\lambda\)-trees
- Constant time parallel computations in \(\lambda\)-calculus
- A fully abstract denotational semantics for the \(\pi\)-calculus
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- Infinitary lambda calculus and discrimination of Berarducci trees.
- Distributed processes and location failures
- A cost calculus for parallel functional programming
- Call-by-Value Non-determinism in a Linear Logic Type Discipline
- May and must convergency in concurrent 位-calculus
- A Relational Model of a Parallel and Non-deterministic 位-Calculus
- Distributed processes and location failures
- Term collections in {\(\lambda\)} and {\(\rho\)}-calculi
- Title not available (Why is that?)
- The vectorial \(\lambda\)-calculus
- Discrimination by parallel observers: the algorithm.
Recommendations
- Title not available (Why is that?) 馃憤 馃憥
- Parallel reduction in type free lambda/mu-calculus 馃憤 馃憥
- Parallel reductions in \(\lambda\)-calculus 馃憤 馃憥
- Parallel reductions in \(\lambda\)-calculus 馃憤 馃憥
- A cost calculus for parallel functional programming 馃憤 馃憥
- A partial evaluator for a parallel lambda language 馃憤 馃憥
- Lambda calculus with algebraic simplification for reduction parallelisation: Extended study 馃憤 馃憥
- Constant time parallel computations in \(\lambda\)-calculus 馃憤 馃憥
This page was built for publication: Lambda-calculi for (strict) parallel functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1314269)
