Pages that link to "Item:Q3000282"
From MaRDI portal
The following pages link to Linearity, Non-determinism and Solvability (Q3000282):
Displayed 6 items.
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion (Q3007664) (← links)
- Call-by-Value Non-determinism in a Linear Logic Type Discipline (Q3455843) (← links)
- (Q4580329) (← links)
- (Q5089014) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)