Hybrid Realizability for Intuitionistic and Classical Choice

doi 10.1145/2933575.2934511
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Classical Realizability as a Classifier for Nondeterminism

2018English

Modified Realizability Interpretation of Classical Linear Logic

2007English

An Intuitionistic Definition of Classical Natural Numbers

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1979English

A Note on the Complexity of Classical and Intuitionistic Proofs

2015English

Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems

Proceedings - IEEE International Conference on Robotics and Automation
ControlSystems EngineeringElectronic EngineeringElectricalArtificial IntelligenceSoftware
2007English

Book Review: Choice Sequences, a Chapter of Intuitionistic Mathematics

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
1979English

Hybrid Quantum-Classical Key Distribution

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

Equivalence of Two Approaches for Quantum-Classical Hybrid Systems

Journal of Chemical Physics
MedicineTheoretical ChemistryAstronomyPhysicsPhysical
2008English

Performance of Hybrid Quantum-Classical Variational Heuristics for Combinatorial Optimization

Physical review. E
Nonlinear PhysicsProbabilityStatisticsCondensed Matter PhysicsStatistical
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy