Pages that link to "Item:Q4210114"
From MaRDI portal
The following pages link to A Filter Model for Concurrent $\lambda$-Calculus (Q4210114):
Displayed 11 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)
- 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)
- Intersection types for \(\lambda\)-trees (Q5958291) (← links)