Lambda-calculi for (strict) parallel functions
From MaRDI portal
Publication:1314269
DOI10.1006/inco.1994.1003zbMath0796.03021OpenAlexW2102549858MaRDI QIDQ1314269
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
Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items
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
