Discrimination by parallel observers: the algorithm.
From MaRDI portal
Publication:1854269
DOI10.1006/inco.1998.2773zbMath1045.68525OpenAlexW2038174684WikidataQ122879530 ScholiaQ122879530MaRDI QIDQ1854269
Jerzy Tiuryn, Paweł Urzyczyn, Mariangiola Dezani-Ciancaglini
Publication date: 14 January 2003
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/a37a1a9f1fd926ae3bb6413c125e0b0c4143b7cc
Related Items
Infinitary lambda calculus and discrimination of Berarducci trees., Safety of Nöcker's strictness analysis, 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, Intersection types for \(\lambda\)-trees
Cites Work
- Unnamed Item
- Unnamed Item
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi
- Modal logics for mobile processes
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
- A characterization of F-complete type assignments
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models
- Domain theory in logical form
- A calculus of mobile processes. II
- Structured operational semantics and bisimulation as a congruence
- An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
- Full abstraction in the lazy lambda calculus
- Lambda-calculi for (strict) parallel functions
- Set-theoretical and other elementary models of the \(\lambda\)-calculus
- A fully abstract denotational model for higher-order processes
- The lazy lambda calculus in a concurrency scenario
- Intersection and union types: Syntax and semantics
- Testing equivalence for mobile processes
- The discriminating power of multiplicities in the \(\lambda\)-calculus
- A filter lambda model and the completeness of type assignment
- A Filter Model for Concurrent $\lambda$-Calculus
- A filter model for mobile processes
- Lazy Lambda calculus: Theories, models and local structure characterization
