Skip to content

Quantum First-Order Logics and Quantum Natural Deduction.

Tomoyuki Yamakami

VenueBFCT
Year2025
ProceedingsFCT

Browse the full FCT paper archive.