×

Found 27 Documents (Results 1–27)

100
MathJax

Propositional systems, Hilbert lattices and generalized Hilbert spaces. (English) Zbl 1126.81009

Engesser, Kurt (ed.) et al., Handbook of quantum logic and quantum structure. Quantum structures. Amsterdam: Elsevier (ISBN 978-0-444-52870-4/hbk). 477-523 (2007).
PDF BibTeX XML Cite
Full Text: arXiv

Towards “dynamic domains”: totally continuous cocomplete \(\mathcal{Q}\)-categories. (English) Zbl 1273.03180

Escardó, M. (ed.) et al., Proceedings of the 21st annual conference on mathematical foundations of programming semantics (MFPS XXI), University of Birmingham, Birmingham, UK, May 18–21, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 155, 617-634 (2006).
MSC:  03G30 06F07 18D20
PDF BibTeX XML Cite
Full Text: Link

Proceedings of the 21st annual conference on mathematical foundations of programming semantics (MFPS XXI), University of Birmingham, Birmingham, UK, May 18–21, 2005. (English) Zbl 1272.68017

Electronic Notes in Theoretical Computer Science 155. Amsterdam: Elsevier. 634 p., electronic only (2006).
MSC:  68-06 68Q55 00B25
PDF BibTeX XML Cite
Full Text: Link

Short introduction to enriched categories. (English) Zbl 0962.18005

Coecke, Bob (ed.) et al., Current research in operational quantum logic. Algebras, categories, languages. Workshop, Free Univ. of Brussels, Belgium, June of 1998 and May of 1999. Dordrecht: Kluwer Academic Publishers. Fundam. Theor. Phys. 111, 167-194 (2000).
MSC:  18D20 18-02 18D15
PDF BibTeX XML Cite

Current research in operational quantum logic. Algebras, categories, languages. Workshop, Free Univ. of Brussels, Belgium, June of 1998 and May of 1999. (English) Zbl 0937.00056

Fundamental Theories of Physics. 111. Dordrecht: Kluwer Academic Publishers. vii, 320 p. (2000).
PDF BibTeX XML Cite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Classification