◍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 2021 · quant-phShow all

3 papers · 2 filters

quant-ph2021★ 1 cited

Proceedings 18th International Conference on Quantum Physics and Logic

Chris Heunen, Miriam Backens

This volume contains the proceedings of the 18th International Conference on Quantum Physics and Logic (QPL 2021), which was held June 7-11, 2021 at the University of Gdansk and on…

quant-ph2021

Quantum Information Effects

Chris Heunen, Robin Kaarsgaard

We study the two dual quantum information effects to manipulate the amount of information in quantum computation: hiding and allocation. The resulting type-and-effect system is ful…

quant-ph2021★ 7 cited

Bennett and Stinespring, Together at Last

Chris Heunen, Robin Kaarsgaard

We present a universal construction that relates reversible dynamics on open systems to arbitrary dynamics on closed systems: the restriction affine completion of a monoidal restri…

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