3 citations · 6 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016★ 1 cited
Computability in Basic Quantum Mechanics
Eike Neumann, Martin Pape, Thomas Streicher
The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space . In terms of the Hilbert lattice of close…
cs.LO2014★ 3 cited
Observationally-induced algebras in Domain Theory
Ingo Battenfeld, Klaus Keimel, Thomas Streicher
In this paper we revise and simplify the notion of observationally induced algebra introduced by Simpson and Schroeder for the purpose of modelling computational effects in the par…