A new connective in natural deduction, and its application to quantum computing
Alejandro Díaz-Caro, Gilles Dowek
Topics & Concepts
Connection (principal bundle)ErasureComputer scienceDeterminismCore (optical fiber)MathematicsProgramming languagePhilosophyEpistemologyGeometryTelecommunicationsQuantum Mechanics and ApplicationsComputability, Logic, AI AlgorithmsLogic, programming, and type systems