The Structure and Interpretation of Quantum Programs I: Foundations | Paper Citation Record

Observation 6939bac6-6dae-4050-8032-1bd0830542fe · outbound

This paper cites Improved simulation of stabilizer circuits.

The Structure and Interpretation of Quantum Programs I: Foundations Improved simulation of stabilizer circuits

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.991977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f0f089db-8069-453e-ada0-76e294ae8640 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.983056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9275a750-09da-47e5-ac55-8ced8067fdef · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.974018Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1afbaf2f-7bee-4bc5-bafc-68d87769df13 · outbound

This paper cites A Radon-Nikodym theorem for completely positive maps.

The Structure and Interpretation of Quantum Programs I: Foundations A Radon-Nikodym theorem for completely positive maps

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.965376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4a4cf2f6-1d54-4e6b-9a3c-77b5cfb81223 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.956390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ac7b3719-b1f4-4abb-9413-aefacce02a2e · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.947880Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ba7bec00-d651-4090-9417-7df93eed09b8 · outbound

This paper cites H., DiVincenzo, D.

The Structure and Interpretation of Quantum Programs I: Foundations H., DiVincenzo, D

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.938977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 86bc6d36-65dc-4880-acaf-7d3a5607930e · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.929791Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 37cda9f8-b3de-4bd5-8421-b979fc921748 · outbound

This paper cites Nuclear induction.

The Structure and Interpretation of Quantum Programs I: Foundations Nuclear induction

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.920366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f26a9d4d-4eaf-4b40-ab1a-1bded6f22d33 · outbound

This paper cites The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning.

The Structure and Interpretation of Quantum Programs I: Foundations The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.911117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 05a8bc42-6845-4afd-8a80-8ee5df22370b · outbound

This paper cites On the quantum mechanics of collision processes.

The Structure and Interpretation of Quantum Programs I: Foundations On the quantum mechanics of collision processes

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.901539Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f79e5e06-35ca-454e-acde-37c8b7eb359b · outbound

This paper cites Factor- ing an integer with three oscillators and a qubit, 2024.

The Structure and Interpretation of Quantum Programs I: Foundations Factor- ing an integer with three oscillators and a qubit, 2024

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.892692Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8a5cf0ab-c421-4206-b2b2-d23e7be68fe8 · outbound

This paper cites C*-algebras and Finite-dimensional Approximations.

The Structure and Interpretation of Quantum Programs I: Foundations C*-algebras and Finite-dimensional Approximations

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.883939Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1730aba8-3002-462f-81bf-25cd1530c0b8 · outbound

This paper cites A., Terno, D.

The Structure and Interpretation of Quantum Programs I: Foundations A., Terno, D

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.874897Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 66e264dd-ef0a-4718-a723-f49bc598a38c · outbound

This paper cites G., Fjörtoft, R., and von Neumann, J.

The Structure and Interpretation of Quantum Programs I: Foundations G., Fjörtoft, R., and von Neumann, J

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.865621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3fc00c28-9275-4b00-a4e2-f6cb1cc01f40 · outbound

This paper cites Completely positive linear maps on complex matri- ces.

The Structure and Interpretation of Quantum Programs I: Foundations Completely positive linear maps on complex matri- ces

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.856150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4887e66f-e18d-4092-a1be-25a493dbcde2 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.847252Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a9a6261e-4cc5-443e-a3bf-0053a5deca13 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.839026Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8954c5ad-95de-45ba-a794-d2783a500878 · outbound

This paper cites Can quantum- mechanical description of physical reality be considered com- plete? Physical Review 47, 10 (1935), 777–780.

The Structure and Interpretation of Quantum Programs I: Foundations Can quantum- mechanical description of physical reality be considered com- plete? Physical Review 47, 10 (1935), 777–780

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.830732Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 71bc29fb-b873-45a5-a5f7-c929f09b0057 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.822421Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 12befafb-de5c-4942-83db-feba0d780206 · outbound

This paper cites F., and Toffoli, T.

The Structure and Interpretation of Quantum Programs I: Foundations F., and Toffoli, T

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.814164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation be24d694-0e7b-4ad6-b1d2-9d0159bac6d8 · outbound

This paper cites P .,and Wise, D.

The Structure and Interpretation of Quantum Programs I: Foundations P .,and Wise, D

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.805062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 62dd66ec-c0bc-45a3-b0ae-9782883fd0a1 · outbound

This paper cites On the imbedding of normed rings into the ring of operators in Hilbert space.

The Structure and Interpretation of Quantum Programs I: Foundations On the imbedding of normed rings into the ring of operators in Hilbert space

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.796044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 450b9f29-72fc-4638-ac4a-e7003f34b4b8 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.787150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e5b53ec7-ded3-411d-a983-96bb29cec4ef · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.778633Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 38209f43-c3a5-49fe-b363-d88b062c51c3 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.770053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 46598fb0-c51b-4d00-8745-c9cf0eab76c7 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.761126Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2bd1c782-07a9-4082-ac38-3cfef71cf8d9 · outbound

This paper cites Über die grundlagen der quantenmechanik.

The Structure and Interpretation of Quantum Programs I: Foundations Über die grundlagen der quantenmechanik

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.752431Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 44f13e22-422c-426a-b066-cef55bc5ad5e · outbound

This paper cites Probability inequalities for sums of bounded random variables.

The Structure and Interpretation of Quantum Programs I: Foundations Probability inequalities for sums of bounded random variables

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.743918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2a0ec00f-2b51-452d-9762-90b3289830bc · outbound

This paper cites Über die abbildungen der dreidimensionalen sphäre auf die kugelfläche.

The Structure and Interpretation of Quantum Programs I: Foundations Über die abbildungen der dreidimensionalen sphäre auf die kugelfläche

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.734602Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 929c7529-df31-4d50-9119-b44efd0bbb72 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.726349Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation aa347531-c06c-42c3-9937-9e4048b4e88a · outbound

This paper cites Predicting many properties of a quantum system from very few measurements.

The Structure and Interpretation of Quantum Programs I: Foundations Predicting many properties of a quantum system from very few measurements

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.717647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 34927e98-a92d-4ff8-af55-2c5b0e6b837d · outbound

This paper cites Linear transformations which preserve trace and positive semidefiniteness of operators.

The Structure and Interpretation of Quantum Programs I: Foundations Linear transformations which preserve trace and positive semidefiniteness of operators

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.708459Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1d148cf1-0a75-43a1-91f9-1babe098cf54 · outbound

This paper cites Fundamentals of the Theory of Operator Algebras I: Elementary Theory.

The Structure and Interpretation of Quantum Programs I: Foundations Fundamentals of the Theory of Operator Algebras I: Elementary Theory

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.699080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f9f90197-cf0d-4ead-b6ec-311a0f4a6d5c · outbound

This paper cites Fundamentals of the Theory of Operator Algebras II: Advanced Theory.

The Structure and Interpretation of Quantum Programs I: Foundations Fundamentals of the Theory of Operator Algebras II: Advanced Theory

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.689270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ee2abd5b-a6f5-4baa-8cb0-25508101fc08 · outbound

This paper cites V .,and Singer, I.

The Structure and Interpretation of Quantum Programs I: Foundations V .,and Singer, I

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.680067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 110a1247-d3d3-411d-a22a-a78dda5bc4a5 · outbound

This paper cites Benchmarking quantum computers: The five-qubit error correct- ing code.

The Structure and Interpretation of Quantum Programs I: Foundations Benchmarking quantum computers: The five-qubit error correct- ing code

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.671120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b541eb57-24da-4b70-aa44-d95d6921cd4b · outbound

This paper cites Theory of quantum error correction for general noise.

The Structure and Interpretation of Quantum Programs I: Foundations Theory of quantum error correction for general noise

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.662580Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d9717e47-23ac-4d79-a4c4-924d86552d63 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.654090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5cf99284-d299-453b-be1c-178764b51893 · outbound

This paper cites States, Effects, and Operations: Fundamental Notions of Quantum Theory.

The Structure and Interpretation of Quantum Programs I: Foundations States, Effects, and Operations: Fundamental Notions of Quantum Theory

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.645551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 17e3d314-eab7-4be1-be57-eb40188a3165 · outbound

This paper cites On extreme points of regular convex sets.

The Structure and Interpretation of Quantum Programs I: Foundations On extreme points of regular convex sets

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.636911Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 010cfb31-f97e-4d95-8601-f76cfc337852 · outbound

This paper cites Unified and gener- alized approach to quantum error correction.

The Structure and Interpretation of Quantum Programs I: Foundations Unified and gener- alized approach to quantum error correction

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.628058Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8df711b4-578d-4553-b6e1-c115199cbf1a · outbound

This paper cites W., Laflamme, R., Poulin, D., and Lesosky, M.

The Structure and Interpretation of Quantum Programs I: Foundations W., Laflamme, R., Poulin, D., and Lesosky, M

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.618975Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 71781989-9a89-40ec-9947-c9a931eaf6a3 · outbound

This paper cites P .,and Zurek, W.

The Structure and Interpretation of Quantum Programs I: Foundations P .,and Zurek, W

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.610275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e1e2a856-c285-4d3a-a7c1-0156ba2a5399 · outbound

This paper cites Irreversibility and heat generation in the comput- ing process.

The Structure and Interpretation of Quantum Programs I: Foundations Irreversibility and heat generation in the comput- ing process

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.601223Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation af88b49e-728e-4fc2-b573-7ddeea1d51f9 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.590242Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3576584f-d686-44fa-bad4-05bdb069d8a8 · outbound

This paper cites Concerning the state-change due to the measure- ment process.

The Structure and Interpretation of Quantum Programs I: Foundations Concerning the state-change due to the measure- ment process

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.580021Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 580fd815-4dc6-47cb-92ce-8f36c48710f9 · outbound

This paper cites Computable and noncomputable.

The Structure and Interpretation of Quantum Programs I: Foundations Computable and noncomputable

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.569722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 498e454d-db2c-409e-b8e2-309cca334810 · outbound

This paper cites J., and von Neumann, J.

The Structure and Interpretation of Quantum Programs I: Foundations J., and von Neumann, J

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.559475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a237175a-c08f-4554-854c-a612eb6957a5 · outbound

This paper cites J., and von Neumann, J.

The Structure and Interpretation of Quantum Programs I: Foundations J., and von Neumann, J

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.548725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9804fcf2-f16e-4b27-bca9-066b5478340c · outbound

This paper cites A., and Chuang, I.

The Structure and Interpretation of Quantum Programs I: Foundations A., and Chuang, I

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.537144Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 53fb0f43-0a92-4374-a92f-1acf80c17e13 · outbound

This paper cites J., and Verstraete, F.

The Structure and Interpretation of Quantum Programs I: Foundations J., and Verstraete, F

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.526640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 291a4792-da10-417f-998e-4bb587251a12 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 53

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.515466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 94fadc32-b064-4717-b205-48a926df60d8 · outbound

This paper cites Reduced dynamics need not be completely posi- tive.

The Structure and Interpretation of Quantum Programs I: Foundations Reduced dynamics need not be completely posi- tive

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.503697Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9d093f42-c886-4cf0-92e6-0fe2890b74c2 · outbound

This paper cites Linear logic for generalized quantum mechanics.

The Structure and Interpretation of Quantum Programs I: Foundations Linear logic for generalized quantum mechanics

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.493612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation fef7fa1a-9fda-4279-a803-0d99bf0c3616 · outbound

This paper cites Principles of Mathematical Analysis, 3rd ed.

The Structure and Interpretation of Quantum Programs I: Foundations Principles of Mathematical Analysis, 3rd ed

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.482686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6024e63b-2b8f-4bde-a80e-a45a4a75768d · outbound

This paper cites Fourier Analysis on Groups.

The Structure and Interpretation of Quantum Programs I: Foundations Fourier Analysis on Groups

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.472551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2a4bb838-5494-4b5a-8812-0266a675d187 · outbound

This paper cites Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead).

The Structure and Interpretation of Quantum Programs I: Foundations Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.462311Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 525f8f00-78e5-439a-8005-9f60565c13c2 · outbound

This paper cites On the solution of linear equations with infinitely many unknowns.

The Structure and Interpretation of Quantum Programs I: Foundations On the solution of linear equations with infinitely many unknowns

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.451202Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 17e884e8-9d31-47cc-b872-173658d81382 · outbound

This paper cites Die gegenwärtige situation in der quanten- mechanik.

The Structure and Interpretation of Quantum Programs I: Foundations Die gegenwärtige situation in der quanten- mechanik

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.440552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 153901ee-a440-4878-a80a-95f9bb879b85 · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 61

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.429654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4c7086c7-876d-4f57-9cf4-5061d67f2a76 · outbound

This paper cites Who’s afraid of not completely positive maps? Phys.

The Structure and Interpretation of Quantum Programs I: Foundations Who’s afraid of not completely positive maps? Phys

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.418760Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2b9bacf3-02e8-4237-acd1-fd9afd0f0c6e · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 63

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.407686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation abf6b2f1-2c31-4d64-8292-dc2ca5d369df · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 64

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.396925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 80ebf2b6-d7ec-41d5-9845-d6c7e9c4c7fe · outbound

This paper cites E., and Weaver, W.

The Structure and Interpretation of Quantum Programs I: Foundations E., and Weaver, W

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.385361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 07d6ee96-67bc-4906-9353-c823bed384f9 · outbound

This paper cites Introduction to Topology and Modern Analysis.

The Structure and Interpretation of Quantum Programs I: Foundations Introduction to Topology and Modern Analysis

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.374379Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 574c291e-68c1-4821-aa2e-f8edb5ebb140 · outbound

This paper cites The experimental proof of direc- tional quantization in the magnetic field.

The Structure and Interpretation of Quantum Programs I: Foundations The experimental proof of direc- tional quantization in the magnetic field

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.363034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 87ce585f-97df-481c-a3e1-6322741405aa · outbound

This paper cites an unresolved cited work.

The Structure and Interpretation of Quantum Programs I: Foundations Unresolved cited work

Reference 68

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:56:06.352164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation dbb7a7a4-4e98-4ca6-aa6a-0016300857b6 · outbound

This paper cites A characterization of pure states of C*-algebras.

The Structure and Interpretation of Quantum Programs I: Foundations A characterization of pure states of C*-algebras

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.341817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0520399a-e07c-45c9-afb7-e374bfc13cc7 · outbound

This paper cites Amplification, arbitrage, and the tensor power trick.

The Structure and Interpretation of Quantum Programs I: Foundations Amplification, arbitrage, and the tensor power trick

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.331129Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f5a22446-4f13-4e23-a82d-6f630aa6467d · outbound

This paper cites Zur algebra der funktionaloperatoren und theorie der normalen operatoren.

The Structure and Interpretation of Quantum Programs I: Foundations Zur algebra der funktionaloperatoren und theorie der normalen operatoren

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.321196Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e4c9609d-fa6a-4424-81b2-cc8b3c15084f · outbound

This paper cites Mathematical Foundations of Quantum Mechan- ics.

The Structure and Interpretation of Quantum Programs I: Foundations Mathematical Foundations of Quantum Mechan- ics

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.310860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4eecb691-e871-485d-beb4-22f5b7694769 · outbound

This paper cites The Quantum Theory of Fields, Volume 1: Founda- tions.

The Structure and Interpretation of Quantum Programs I: Foundations The Quantum Theory of Fields, Volume 1: Founda- tions

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.300182Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1a4c7049-e0cf-40f0-a2b7-bc684740df60 · outbound

This paper cites Gruppentheorie und Quantenmechanik.

The Structure and Interpretation of Quantum Programs I: Foundations Gruppentheorie und Quantenmechanik

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.288404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8eaf8625-b6f8-4fbf-b5ce-a2d5b08c430a · outbound

This paper cites Die vollständigkeit der primitiven darstellungen einer geschlossenen kontinuierlichen gruppe.

The Structure and Interpretation of Quantum Programs I: Foundations Die vollständigkeit der primitiven darstellungen einer geschlossenen kontinuierlichen gruppe

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.276591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 589eb917-24a3-4d0b-933b-cfd4cfbd4eb4 · outbound

This paper cites H., and Crichton, J.

The Structure and Interpretation of Quantum Programs I: Foundations H., and Crichton, J

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.266100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation bbdd3855-7564-4550-8252-8273cf3a36f9 · outbound

This paper cites K., and Zurek, W.

The Structure and Interpretation of Quantum Programs I: Foundations K., and Zurek, W

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.254535Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation de08f75d-e443-4ac8-9f19-73866a8b218c · outbound

This paper cites Efficient decoding for the Hayden- Preskill protocol, 2017.

The Structure and Interpretation of Quantum Programs I: Foundations Efficient decoding for the Hayden- Preskill protocol, 2017

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.243101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8a8837c0-859c-4377-8797-9924c71f7407 · outbound

This paper cites M., and Kirby, B.

The Structure and Interpretation of Quantum Programs I: Foundations M., and Kirby, B

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:56:06.230154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers