Chris Heunen : Publications
Personal orderingBibtex
Click here to download all publications in a single bibtex file
@article{caspersheunenlandsmanspitters:nlevelsystem,
title = "Intuitionistic quantum logic of an n-level system",
author = "Martijn Caspers and Chris Heunen and Klaas Landsman and Bas Spitters",
year = "2009",
journal = "Foundations of Physics",
number = "7",
pages = "731-759",
publisher = "Springer",
url = "http://arxiv.org/abs/0902.3201",
volume = "39",
doi = "10.1007/s10701-009-9308-7",
}
@article{heunen:embedding,
title = "An embedding theorem for Hilbert categories",
author = "Chris Heunen",
year = "2009",
crossref = "preprint available as arxiv:0811.1448",
journal = "Theory and Applications of Categories",
number = "13",
pages = "321--344",
url = "http://www.tac.mta.ca/tac/volumes/22/13/22-13.pdf",
volume = "22",
}
@article{jacobsheunenhasuo:arrows,
title = "Categorical semantics for arrows",
author = "Bart Jacobs and Chris Heunen and Ichiro Hasuo",
year = "2009",
journal = "Journal of Functional Programming",
number = "3-4",
pages = "403-438",
publisher = "Cambridge University Press",
volume = "19",
doi = "10.1017/S0956796809007308",
}
@article{heunenlandsmanspitters:topos,
title = "A topos for algebraic quantum theory",
author = "Chris Heunen, Nicolaas P. Landsman and Bas Spitters",
year = "2009",
crossref = "preprint available as arxiv:0709.4364",
journal = "Communications in Mathematical Physics",
pages = "63--110",
volume = "291",
doi = "10.1007/s00220-009-0865-6",
}
@inproceedings{heunenjacobs:daggerkernelcategories,
title = "Quantum logic in dagger kernel categories",
author = "Chris Heunen and Bart Jacobs",
year = "2009",
crossref = "preprint available as arxiv:0902.2355",
journal = "to appear in the proceedings of QPL'09",
series = "Electronic Notes in Theoretical Computer Science",
}
@inproceedings{hasuoheunenjacobssokolova:components,
title = "Coalgebraic components in a many-sorted microcosm",
author = "Ichiro Hasuo and Chris Heunen and Bart Jacobs and Ana Sokolova",
year = "2009",
booktitle = "CALCO'09",
journal = "Lecture Notes in Computer Science",
pages = "64-80",
publisher = "Springer",
volume = "5728",
doi = "10.1007/978-3-642-03741-2_6",
}
@phdthesis{heunen:phdthesis,
title = "Categorical quantum models and logics",
author = "Chris Heunen",
year = "2009",
institution = "Radboud University Nijmegen",
isbn = "978 90 8555 024 2",
}
@article{heunen:compactlyaccessible,
title = "Compactly accessible categories and quantum key distribution",
author = "Chris Heunen",
year = "2008",
journal = "Logical Methods in Computer Science",
number = "4",
volume = "4",
doi = "10.2168/LMCS-4(4:9)2008",
}
@inproceedings{heunenlandsmanspitters:tovariance,
title = "The principle of general tovariance",
author = "Chris Heunen, Nicolaas P. Landsman and Bas Spitters",
year = "2008",
}
@inproceedings{heunen:semimoduleenrichment,
title = "Semimodule enrichment",
author = "Chris Heunen",
year = "2008",
booktitle = "MFPS 24",
journal = "Electronic Notes in Theoretical Computer Science",
pages = "192-208",
publisher = "Elsevier",
volume = "218",
doi = "10.1016/j.entcs.2008.10.012",
}
@inproceedings{heunenjacobs:arrows,
title = "Arrows, like Monads, are Monoids",
author = "Chris Heunen and Bart Jacobs",
year = "2006",
}
@mastersthesis{heunen:realcomplexity,
title = "Complexity in the Real world",
author = "Chris Heunen",
year = "2005",
}
@mastersthesis{heunen:ramsey,
title = "The possibilities and impossibilities of recursive Ramsey theory",
author = "Chris Heunen",
year = "2005",
}
@inproceedings{heunen:silhouettes,
title = "Accurate silhouettes - do polyhedral models suffice?",
author = "Chris Heunen",
year = "2003",
}