Pages that link to "Item:Q3605523"
From MaRDI portal
The following pages link to A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523):
Displaying 9 items.
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856) (← links)
- Modelling Local Variables: Possible Worlds and Object Spaces (Q3178266) (← links)
- A Non-probabilistic Relational Model of Probabilistic Kleene Algebras (Q3498409) (← links)
- (Q4496249) (← links)
- A typed, algebraic, computational lambda-calculus (Q4917199) (← links)