◍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 2012 · math.OAShow all

2 papers · 2 filters

math.OA2012★ 38 cited

Active lattices determine AW*-algebras

Chris Heunen, Manuel L. Reyes

We prove that operator algebras that have enough projections are completely determined by those projections, their symmetries, and the action of the latter on the former. This incl…

math.OA2012★ 13 cited

Diagonalizing matrices over AW*-algebras

Chris Heunen, Manuel L. Reyes

Every commuting set of normal matrices with entries in an AW*-algebra can be simultaneously diagonalized. To establish this, a dimension theory for properly infinite projections in…

◍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.