Pages that link to "Item:Q408545"

The following pages link to A relational semantics for parallelism and non-determinism in a functional setting (Q408545):

Displaying 3 items.

• The vectorial \(\lambda\)-calculus (Q529049) (← links)
• (Q5089014) (← links)
• Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)