◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

C. Heunen

89 papers hereh-index 282.7k citations169 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author8
  • first author36
  • middle author22
  • last author23

Across the 89 of 89 papers where every author was matched, so the position is known.

fields
  • quant-ph33
  • math.CT25
  • cs.PL9
  • cs.LO8
  • math.OA7
  • math.LO2

identity via Semantic Scholar / OpenAlex

activity
20072026
most citedSemantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

113 citations · 1.3k across the 83 of their papers we have counts for

collaborators
Showing 2007Show all

1 paper · 1 filter

quant-ph2007★ 84 cited

A topos for algebraic quantum theory

Chris Heunen, Nicolaas P. Landsman, Bas Spitters

The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea th…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.