Pages that link to "Item:Q5918648"
From MaRDI portal
The following pages link to A new connective in natural deduction, and its application to quantum computing (Q5918648):
Displaying 5 items.
- Natural deduction for quantum logic (Q2084572) (← links)
- A pure view of ecumenical modalities (Q2148808) (← links)
- A Presentation of Quantum Logic Based on an and then Connective (Q5450568) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
- A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)