Chris Heunen : Publications
Personal orderingBibtex
|
[2003] |
Accurate silhouettes − do polyhedral models suffice? Chris Heunen 2003. |
|
[2005] |
The possibilities and impossibilities of recursive Ramsey theory Chris Heunen Master's Thesis 2005. |
|
[2005] |
Complexity in the Real world Chris Heunen Master's Thesis 2005. |
|
[2006] |
Arrows‚ like Monads‚ are Monoids Chris Heunen and Bart Jacobs 2006. |
|
[2007] |
Categorical semantics for arrows Bart Jacobs‚ Chris Heunen and Ichiro Hasuo In Journal of Functional Programming. Vol. 19. No. 3−4. Pages 403−438. 2009. |
|
[2008] |
A topos for algebraic quantum theory Nicolaas P. Landsman Chris Heunen and Bas Spitters In Communications in Mathematical Physics. Vol. 291. Pages 63–110. 2009. |
|
[2008] |
The principle of general tovariance Nicolaas P. Landsman Chris Heunen and Bas Spitters 2008. |
|
[2008] |
Semimodule enrichment Chris Heunen In MFPS 24. Vol. 218. Pages 192−208. Elsevier. 2008. |
|
[2008] |
Compactly accessible categories and quantum key distribution Chris Heunen In Logical Methods in Computer Science. Vol. 4. No. 4. 2008. |
|
[2009] |
Quantum logic in dagger kernel categories Chris Heunen and Bart Jacobs 2009. |
|
[2009] |
Intuitionistic quantum logic of an n−level system Martijn Caspers‚ Chris Heunen‚ Klaas Landsman and Bas Spitters In Foundations of Physics. Vol. 39. No. 7. Pages 731−759. 2009. |
|
[2009] |
Coalgebraic components in a many−sorted microcosm Ichiro Hasuo‚ Chris Heunen‚ Bart Jacobs and Ana Sokolova In CALCO'09. Vol. 5728. Pages 64−80. Springer. 2009. |
|
[2009] |
Categorical quantum models and logics Chris Heunen PhD Thesis 2009. |
|
[2009] |
An embedding theorem for Hilbert categories Chris Heunen In Theory and Applications of Categories. Vol. 22. No. 13. Pages 321–344. 2009. |