Lambda-calculi for (strict) parallel functions

DOI10.1006/INCO.1994.1003zbMath0796.03021OpenAlexW2102549858MaRDI QIDQ1314269

Gérard Boudol

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

zbMATH Keywords

parallel computationfull abstractioncontinuous functionstype assignmentcall-by-valuerealizability interpretationdomains of parallel functionslazy \(\lambda\)-calculusparallel lambda-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Related Items (24)

Infinitary lambda calculus and discrimination of Berarducci trees. ⋮ Unnamed Item ⋮ Call-by-Value Non-determinism in a Linear Logic Type Discipline ⋮ May and must convergency in concurrent λ-calculus ⋮ Extensional proofs in a propositional logic modulo isomorphisms ⋮ A relational semantics for parallelism and non-determinism in a functional setting ⋮ Algebraic interpretation of lambda calculus with resources ⋮ Linear-algebraic λ-calculus: higher-order, encodings, and confluence. ⋮ Filter models for conjunctive-disjunctive \(\lambda\)-calculi ⋮ The vectorial \(\lambda\)-calculus ⋮ On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus ⋮ Unnamed Item ⋮ A Relational Model of a Parallel and Non-deterministic λ-Calculus ⋮ Intersection types for \(\lambda\)-trees ⋮ Distributed processes and location failures ⋮ Distributed processes and location failures ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Full abstractness for a functional/concurrent language with higher-order value-passing ⋮ A Fully Abstract Model for Mobile Ambients ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ Discrimination by parallel observers: the algorithm. ⋮ Term Collections in λ and ρ-calculi ⋮ A fully abstract denotational semantics for the \(\pi\)-calculus ⋮ Full abstraction for lambda calculus with resources and convergence testing

This page was built for publication: Lambda-calculi for (strict) parallel functions