scientific article; zbMATH DE number 6917933

DOI10.23638/LMCS-14(2:14)2018zbMath1451.18016arXiv1610.09209MaRDI QIDQ4580318

Thomas Streicher, Martin Pape, Eike Neumann

Publication date: 15 August 2018

Full work available at URL: https://arxiv.org/abs/1610.09209

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Categorical semantics of formal languages (18C50) Computation over the reals, computable analysis (03D78)

Cites Work

• Computing Schrödinger propagators on type-2 Turing machines
• Realizability. An introduction to its categorical side
• Orthomodular structures as quantum logics. Transl. from the Slovak
• A Convenient Category of Domains
• Domain-Theoretic Foundations of Functional Programming
• Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
• Integrals and valuations
• Continuous Lattices and Domains
• Admissible representations for probability measures
• What Does the Spectral Theorem Say?
• Computer Science Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: