Paper Citation Record · LEDGER

A Rewriting Theory for Quantum Lambda-Calculus

As of 12 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 1 inbound Pith citation observation for arXiv:2411.14856.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2411.14856 v2

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T14:58:08.383183Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-12T14:58:08.294572Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-12T14:58:09.006340Z

Reference resolution

43 of 43 outbound references displayed

verified exact11
verified fuzzy10
unresolved20
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 80563025-0c6d-491b-a856-4abe02d2da85 · outbound

This paper cites Factorize factorization.

A Rewriting Theory for Quantum Lambda-Calculus Factorize factorization

Reference 1

Resolution: verified exact; doi, observed 2026-08-12T14:58:08.608478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 7e7c2390-f3d6-4e62-8ef9-8416ae4b3406 · outbound

This paper cites Ariola and Stefan Blom.

A Rewriting Theory for Quantum Lambda-Calculus Ariola and Stefan Blom

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:58:09.657400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b1517df1-d704-415d-84b9-493f4b1ad3b7 · outbound

This paper cites The benefits of diligence.

A Rewriting Theory for Quantum Lambda-Calculus The benefits of diligence

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:58:09.643777Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2c6003f8-a455-4c66-87d6-ebd374a17876 · outbound

This paper cites The vectorial lambda-calculus.

A Rewriting Theory for Quantum Lambda-Calculus The vectorial lambda-calculus

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.186158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17eba7f7-970a-4c1a-9bcf-c0c96c7e5b7e · outbound

This paper cites Lineal: A linear-algebraic lambda-calculus.

A Rewriting Theory for Quantum Lambda-Calculus Lineal: A linear-algebraic lambda-calculus

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:58:09.629148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation bfb74c4d-bf00-46da-92f8-a72998df738c · outbound

This paper cites On probabilistic term rewriting.

A Rewriting Theory for Quantum Lambda-Calculus On probabilistic term rewriting

Reference 6

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T14:58:09.468204Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4203fce8-a96c-486e-96b6-83f8078a9744 · outbound

This paper cites The Lambda Calculus -- Its Syntax and Semantics , volume 103 of Studies in logic and the foundations of mathematics.

A Rewriting Theory for Quantum Lambda-Calculus The Lambda Calculus -- Its Syntax and Semantics , volume 103 of Studies in logic and the foundations of mathematics

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:58:09.614517Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 31989823-1404-459d-a220-6bf9c7445b95 · outbound

This paper cites an unresolved cited work.

A Rewriting Theory for Quantum Lambda-Calculus Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.208567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23a52150-23a1-4dd9-9843-5b6ad61a743f · outbound

This paper cites Proving positive almost sure termination under strategies.

A Rewriting Theory for Quantum Lambda-Calculus Proving positive almost sure termination under strategies

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:58:09.600817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 16aaf415-39a0-4015-bc6c-d0428986845a · outbound

This paper cites The bang calculus revisited.

A Rewriting Theory for Quantum Lambda-Calculus The bang calculus revisited

Reference 10

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T14:58:09.302906Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 385fa866-6975-4181-b2a2-c38beb59ea97 · outbound

This paper cites An automated deductive verification framework for circuit-building quantum programs.

A Rewriting Theory for Quantum Lambda-Calculus An automated deductive verification framework for circuit-building quantum programs

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.223688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4d36db0-2869-4671-ada6-628ef1af4500 · outbound

This paper cites The geometry of parallelism: classical, probabilistic, and quantum effects.

A Rewriting Theory for Quantum Lambda-Calculus The geometry of parallelism: classical, probabilistic, and quantum effects

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.229631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f58cbf55-7c2e-461c-a183-ef0786f74d2f · outbound

This paper cites On a measurement-free quantum lambda calculus with classical control.

A Rewriting Theory for Quantum Lambda-Calculus On a measurement-free quantum lambda calculus with classical control

Reference 13

Resolution: verified exact; doi, observed 2026-08-12T14:58:08.567487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 77dd3cbb-d441-4950-907e-53e6105b8e50 · outbound

This paper cites Confluence results for a quantum lambda calculus with measurements.

A Rewriting Theory for Quantum Lambda-Calculus Confluence results for a quantum lambda calculus with measurements

Reference 14

Resolution: verified exact; doi, observed 2026-08-12T14:58:08.553712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 74700aba-6541-48b8-bbd3-8a0a5f94d831 · outbound

This paper cites Probabilistic operational semantics for the lambda calculus.

A Rewriting Theory for Quantum Lambda-Calculus Probabilistic operational semantics for the lambda calculus

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.244280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72ea92fe-8eb8-4534-96a7-57a07c748826 · outbound

This paper cites Non deterministic extensions of untyped lambda-calculus.

A Rewriting Theory for Quantum Lambda-Calculus Non deterministic extensions of untyped lambda-calculus

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:58:09.586335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0291afdc-1224-4b4f-8826-8bac8acbc3a3 · outbound

This paper cites Probabilistic lambda-calculus and quantitative program analysis.

A Rewriting Theory for Quantum Lambda-Calculus Probabilistic lambda-calculus and quantitative program analysis

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:58:09.572567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 637b1a67-2b5c-464e-b3c0-930c63db2305 · outbound

This paper cites Realizability in the unitary sphere.

A Rewriting Theory for Quantum Lambda-Calculus Realizability in the unitary sphere

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.259616Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebc11f85-d4eb-485c-af1b-8c12c0a1acd3 · outbound

This paper cites Confluence in probabilistic rewriting.

A Rewriting Theory for Quantum Lambda-Calculus Confluence in probabilistic rewriting

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:58:09.559404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 74d2dcf3-e74d-4c31-89eb-1b2079b0e0d9 · outbound

This paper cites The bang calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value.

A Rewriting Theory for Quantum Lambda-Calculus The bang calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.269388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38e7d750-7ff8-43e3-9eba-2e2731eda77e · outbound

This paper cites The computational meaning of probabilistic coherence spaces.

A Rewriting Theory for Quantum Lambda-Calculus The computational meaning of probabilistic coherence spaces

Reference 21

Resolution: verified exact; doi, observed 2026-08-12T14:58:08.540260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b80cc2d2-6c7b-4b0e-a409-913d4fd3b389 · outbound

This paper cites Probabilistic rewriting: Normalization, termination, and unique normal forms.

A Rewriting Theory for Quantum Lambda-Calculus Probabilistic rewriting: Normalization, termination, and unique normal forms

Reference 22

Resolution: verified exact; doi, observed 2026-08-12T14:58:08.525962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 86ff9f95-9061-42fa-8d2e-2a02cd1d4341 · outbound

This paper cites Probabilistic rewriting and asymptotic behaviour: on termination and unique normal forms.

A Rewriting Theory for Quantum Lambda-Calculus Probabilistic rewriting and asymptotic behaviour: on termination and unique normal forms

Reference 23

Resolution: verified exact; doi, observed 2026-08-12T14:58:08.511423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1a997117-49d8-4db4-8f10-16274f934bf1 · outbound

This paper cites Factorization in call-by-name and call-by-value calculi via linear logic.

A Rewriting Theory for Quantum Lambda-Calculus Factorization in call-by-name and call-by-value calculi via linear logic

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.289823Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25d558db-b93c-444b-9167-bac95ea3393a · outbound

This paper cites A Rewriting Theory for Quantum Lambda-Calculus.

A Rewriting Theory for Quantum Lambda-Calculus A Rewriting Theory for Quantum Lambda-Calculus

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-12T14:58:09.010991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b2629fb4-41e8-4238-848b-a2c15f394375 · outbound

This paper cites Lambda calculus and probabilistic computation.

A Rewriting Theory for Quantum Lambda-Calculus Lambda calculus and probabilistic computation

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.299586Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9ff3828-f85d-42bf-90b0-e5486d555cfe · outbound

This paper cites A relational theory of monadic rewriting systems, part I.

A Rewriting Theory for Quantum Lambda-Calculus A relational theory of monadic rewriting systems, part I

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.304409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 340b7fcb-bb86-444e-b7ad-4d366c7d483f · outbound

This paper cites an unresolved cited work.

A Rewriting Theory for Quantum Lambda-Calculus Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-08-12T14:58:08.488996Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9fa9bec7-2fb7-4329-ace4-4605c66b40fb · outbound

This paper cites Linear logic.

A Rewriting Theory for Quantum Lambda-Calculus Linear logic

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.317267Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a583507-3dc1-4876-9bbf-07c4766ce0f1 · outbound

This paper cites Green, Peter LeFanu Lumsdaine, Neil J.

A Rewriting Theory for Quantum Lambda-Calculus Green, Peter LeFanu Lumsdaine, Neil J

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.322695Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6657d133-2a4a-4a48-902a-3f024fc4c5b1 · outbound

This paper cites The bang calculus and the two G irard's translations.

A Rewriting Theory for Quantum Lambda-Calculus The bang calculus and the two G irard's translations

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.328027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d7a3a64-ef41-4c32-9ff5-418196de4b13 · outbound

This paper cites From innermost to full almost-sure termination of probabilistic term rewriting.

A Rewriting Theory for Quantum Lambda-Calculus From innermost to full almost-sure termination of probabilistic term rewriting

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.332999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26df9b7f-0784-4535-8d2f-6dee42ebce9c · outbound

This paper cites Kirkeby and Henning Christiansen.

A Rewriting Theory for Quantum Lambda-Calculus Kirkeby and Henning Christiansen

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:58:09.536527Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 571ad9b9-0e51-4046-992d-979b855f0060 · outbound

This paper cites an unresolved cited work.

A Rewriting Theory for Quantum Lambda-Calculus Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:58:09.521997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 47ccff2a-d03c-4a28-bbe5-3adea7c4781b · outbound

This paper cites Concrete categorical model of a quantum circuit description language with measurement.

A Rewriting Theory for Quantum Lambda-Calculus Concrete categorical model of a quantum circuit description language with measurement

Reference 35

Resolution: verified exact; doi, observed 2026-08-12T14:58:08.457805Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 70dd1ddd-dbd1-4a3d-a371-5ecc20fca25b · outbound

This paper cites an unresolved cited work.

A Rewriting Theory for Quantum Lambda-Calculus Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:58:09.508904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b7d8cece-1307-43be-948e-1f38a85e0ea1 · outbound

This paper cites Nielsen and Isaac L.

A Rewriting Theory for Quantum Lambda-Calculus Nielsen and Isaac L

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:58:09.495212Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 540620f4-2bea-47b8-8c55-aa39448b31d9 · outbound

This paper cites Applying quantitative semantics to higher-order quantum computing.

A Rewriting Theory for Quantum Lambda-Calculus Applying quantitative semantics to higher-order quantum computing

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.362124Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5d99b09-5f2d-4121-bfff-73539655f878 · outbound

This paper cites qPCF: higher-order languages and quantum circuits.

A Rewriting Theory for Quantum Lambda-Calculus qPCF: higher-order languages and quantum circuits

Reference 39

Resolution: verified exact; doi, observed 2026-08-12T14:58:08.443814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 01fb8884-07fd-4c0a-ae11-a621eb96bf9c · outbound

This paper cites QWIRE: a core language for quantum circuits.

A Rewriting Theory for Quantum Lambda-Calculus QWIRE: a core language for quantum circuits

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.370238Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48508a77-5afc-4532-8d9d-89af3b0bb0f2 · outbound

This paper cites an unresolved cited work.

A Rewriting Theory for Quantum Lambda-Calculus Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:58:09.481500Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ca2224de-c37e-4279-96b2-34ac2f7c8eef · outbound

This paper cites A lambda calculus for quantum computation with classical control.

A Rewriting Theory for Quantum Lambda-Calculus A lambda calculus for quantum computation with classical control

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-12T14:58:08.378605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1ccdc47-b39c-48f8-b0c4-a30fce3fdc29 · outbound

This paper cites an unresolved cited work.

A Rewriting Theory for Quantum Lambda-Calculus Unresolved cited work

Reference 43

Resolution: verified exact; doi, observed 2026-08-12T14:58:08.419069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Pith citing papers

Observation 25d558db-b93c-444b-9167-bac95ea3393a · inbound