The following pages link to (Q5089014):
Displayed 4 items.
- Functional pearl: the distributive \(\lambda\)-calculus (Q2039932) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5918648) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)