Pages that link to "Item:Q4210114"
From MaRDI portal
The following pages link to A Filter Model for Concurrent $\lambda$-Calculus (Q4210114):
Displaying 20 items.
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- Types for access control (Q1575157) (← links)
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus (Q1763728) (← links)
- Discrimination by parallel observers: the algorithm. (Q1854269) (← links)
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- A Fully Abstract Model for Mobile Ambients (Q2841277) (← links)
- Call-by-Value Non-determinism in a Linear Logic Type Discipline (Q3455843) (← links)
- A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- On the Values of Reducibility Candidates (Q3637200) (← links)
- (Q4580329) (← links)
- From Böhm's Theorem to Observational Equivalences (Q4916172) (← links)
- Soundness Conditions for Big-Step Semantics (Q5041092) (← links)
- (Q5089014) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
- Intersection types for \(\lambda\)-trees (Q5958291) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
