Pages that link to "Item:Q408545"
From MaRDI portal
The following pages link to A relational semantics for parallelism and non-determinism in a functional setting (Q408545):
Displayed 9 items.
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- Call-by-Value Non-determinism in a Linear Logic Type Discipline (Q3455843) (← links)
- (Q4580329) (← links)
- (Q5076060) (← links)
- (Q5089014) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
- (Q6079229) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)