Lambda-calculi for (strict) parallel functions

DOI10.1006/inco.1994.1003zbMath0796.03021MaRDI 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 computation; full abstraction; continuous functions; type assignment; call-by-value; realizability interpretation; domains of parallel functions; lazy \(\lambda\)-calculus; parallel lambda-calculus

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68N01: General topics in the theory of software

03B40: Combinatory logic and lambda calculus

Related Items

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