- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Heunen, Chris"
Now showing items 1-23 of 23
-
Domains of Commutative C-Subalgebras 2015, Article in monograph or in proceedings (Bilof, R. (ed.), LICS 2015 : 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science. Proceedings, pp. 450-461) -
Bohrification of operator algebras and quantum logic Heunen, C. ; Landsman, N.; Spitters, B.A.W.2012, Article / Letter to editor (Synthese, vol. 186, iss. 3, (2012), pp. 719-752)
-
Bohrification 2011, Part of book or chapter of book (Halvorson, H. (ed.), Deep Beauty : understanding the quantum world through mathematical innovation, pp. 271-316) -
The Gelfland spectrum of a noncommutative C*-algebra: a topos-theoretic approach Heunen, C. ; Landsman, N.P. ; Spitters, B.A.W. ; Wolters, S.A.M.2011, Article / Letter to editor (Journal of the Australian Mathematical Society, vol. 90, iss. 1, (2011), pp. 39-52)
-
Quantum logic in dagger kernel categories 2011, Article in monograph or in proceedings (Coecke, B.; Panangaden, P.; Selinger, P. (ed.), Proceedings of the 6th International Workshop on Quantum Physics and Logic (QPL 2009), pp. 79-103)
-
-
Quantum Logic in Dagger Kernel Categories 2010, Article / Letter to editor (Order-A Journal on the Theory of Ordered Sets and Its Applications, vol. 27, iss. 2, (2010), pp. 177-212)
-
An embedding theorem for Hilbert categories 2009, Article / Letter to editor (Theory and Applications of Categories, vol. 22, iss. 13, (2009), pp. 321-344)
-
Intuitionistic Quantum Logic of an n-level System Caspers, M.P.T.; Heunen, C. ; Landsman, N.P. ; Spitters, B.2009, Article / Letter to editor (Foundations of Physics, vol. 39, iss. 7, (2009), pp. 731-759)
-
A topos for algebraic quantum theory 2009, Article / Letter to editor (Communications in Mathematical Physics, vol. 291, iss. 1, (2009), pp. 63-110)
-
Categorical Semantics for Arrows 2009, Article / Letter to editor (Journal of Functional Programming, vol. 19, iss. 3-4, (2009), pp. 403-438)
-
Coalgebraic Components in a Many-Sorted Microcosm 2009, Article in monograph or in proceedings (Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Italy, September 7-10, 2009. Proceedings, pp. 64-80)
-
Compactly accessible categories and quantum key distribution 2008, Article / Letter to editor (Logical Methods in Computer Science, vol. 4, iss. 9, (2008), pp. 1-26)
-
Semimodule Enrichment 2008, Article in monograph or in proceedings (Mislove, M.; Bauer, A. (ed.), Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), Philadelphia, PA, USA, 22-25 May 2008, pp. 193-208)
-
The principle of general tovariance 2008, Article in monograph or in proceedings (Fernandes, R.L.; Picken, R. (ed.), Geometry and physics : XVI International Fall Workshop, Lisbon (Portugal), 5–8 September 2007, pp. 93-102)
-
Semimodule enrichment 2008, Article in monograph or in proceedings (Bauer, A.; Mislove, M. (ed.), Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), pp. 193-209)
-
Compactly accessible categories and quantum key distribution 2008, Article / Letter to editor (Logical Methods in Computer Science, vol. 4, iss. 4, (2008), pp. 1-26)
-
The principle of general tovariance Heunen, Chris ; Landsman, N.P. ; Spitters, B.2008, Article in monograph or in proceedings (Fernandes, R. Loja; Picken, R.; Picken, R. (ed.), AIP Conference Proceedings, vol. 1023, pp. 93-102)
-
Arrows, like Monads, are Monoids 2006, Article in monograph or in proceedings (Brookes, S.; Mislove, M. (ed.), Proceedings of the 22nd annual conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Mathematical Foundations of Programming Semantics XXII, pp. 219-236)
-
Mesurer la discrimination - Le suivi des minorités ethniques aux Pays-Bas Guiraudon, V.; Phalet, K. ; Wal, J. ter2005, Article / Letter to editor (Revue Internationale des Sciences Sociales, vol. 183, (2005), pp. 83-96) -
Monitoring ethnic minorities in the Netherlands Guiraudon, V.; Phalet, K. ; Wal, J. ter2005, Article / Letter to editor (International Social Science Journal, vol. 57, iss. 1, (2005), pp. 75-88)
-
(Re)presentation of ethnicity in EU and Dutch domestic news : a quantitative analysis Wal, J. ter ; d'Haenens, L.S.J. ; Koeman, J.M.2005, Article / Letter to editor (Media, Culture & Society, vol. 27, iss. 6, (2005), pp. 937-950)
-
Tensegrities 2004, Article / Letter to editor (Nieuw Archief voor Wiskunde, vol. 5/5, iss. 4, (2004), pp. 279-283)
Now showing items 1-23 of 23
Search Repository
Browse
-
All of Repository
Upload Full Text