Pages that link to "Item:Q1314269"
From MaRDI portal
The following pages link to Lambda-calculi for (strict) parallel functions (Q1314269):
Displayed 24 items.
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
- Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- A fully abstract denotational semantics for the \(\pi\)-calculus (Q1605174) (← 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 Fully Abstract Model for Mobile Ambients (Q2841277) (← links)
- Term Collections in λ and ρ-calculi (Q2864209) (← links)
- (Q2980972) (← links)
- Call-by-Value Non-determinism in a Linear Logic Type Discipline (Q3455843) (← links)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← 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)
- Distributed processes and location failures (Q4571978) (← links)
- (Q5089014) (← links)
- May and must convergency in concurrent λ-calculus (Q5096878) (← links)
- Full abstraction for lambda calculus with resources and convergence testing (Q5878917) (← links)
- Intersection types for \(\lambda\)-trees (Q5958291) (← links)
- Distributed processes and location failures (Q5958774) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
- Algebraic interpretation of lambda calculus with resources (Q6162097) (← links)