A Filter Model for Concurrent $\lambda$-Calculus

DOI10.1137/S0097539794275860zbMath0916.03017OpenAlexW2094079428MaRDI QIDQ4210114

Mariangiola Dezani-Ciancaglini, Adolfo Piperno, Ugo de'Liguoro

Publication date: 21 September 1998

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/s0097539794275860

zbMATH Keywords

operational semanticsparallelismfull abstractionconcurrencynondeterminismfunctional programmingpowerdomainsemantics of untyped lambda calculustype-theoretic semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Logic in computer science (03B70) Logical aspects of lattices and related structures (03G10) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (20)

Infinitary lambda calculus and discrimination of Berarducci trees. ⋮ Precise Subtyping for Asynchronous Multiparty Sessions ⋮ Soundness Conditions for Big-Step Semantics ⋮ Call-by-Value Non-determinism in a Linear Logic Type Discipline ⋮ Extensional proofs in a propositional logic modulo isomorphisms ⋮ A relational semantics for parallelism and non-determinism in a functional setting ⋮ Precise subtyping for synchronous multiparty sessions ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ From Böhm's Theorem to Observational Equivalences ⋮ 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 ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Unnamed Item ⋮ On the Values of Reducibility Candidates ⋮ Infinite \(\lambda\)-calculus and types ⋮ A Fully Abstract Model for Mobile Ambients ⋮ Types for access control ⋮ Discrimination by parallel observers: the algorithm.

Uses Software

• Facile

This page was built for publication: A Filter Model for Concurrent $\lambda$-Calculus