OXFORD UNIVERSITY COMPUTING LABORATORY


Bob Coecke

\*Home
\*Upcoming events
\*Work sessions
\*Main topic:
\*Annex topic 1:
\*Annex topic 2:
\*Past topics
\*Links

Past topics

  • Past topic 1: Quantales and causal duality for property lattices

  • Past topic 2: Algebraic quantum logic and `towards' dynamic quantum logic

  • Past topic 3: Classical toy-models and representations for quantum probability

For downloadable papers please consult my my old [Brussels Dowload Page]. Isar Stubbe has new stuff on Quantales and causal duality for property lattices which can be found on his home page. Baltag and Smets have recently obtained some new results on `Towards' dynamic quantum logic - but I am now convinced that the appropriate setting for such a dynamic quantum logic are monoidal categories (cf. main topic).

[Oxford Spires]



Home
Courses | Research | People | About us | News
Site last produced on Tue May 27 17:21:59 BST 2008 . Page generated by AWF.
Copyright (C) 2004 OUCL.
Oxford University Computing Laboratory Courses Research People About us News