Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes | Paper Citation Record

Observation d5ea27e5-963f-4295-9cea-6f881d225d9e · outbound

This paper cites Quantum query complexity of Boolean functions under indefinite causal order.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Quantum query complexity of Boolean functions under indefinite causal order

Reference 1

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.408680Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 93c4b2ce-bf18-493b-8b09-da03a8a60e9d · outbound

This paper cites John-Mark A.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes John-Mark A

Reference 2

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.421436Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b0384c91-fc5c-42f7-9a54-46ce5bd3171a · outbound

This paper cites Quantum Common Causes and Quantum Causal Models.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Quantum Common Causes and Quantum Causal Models

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77722b43-88b5-4529-955e-33ce33aada61 · outbound

This paper cites doi:10.1109/LICS.2005.1.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes doi:10.1109/LICS.2005.1

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db933960-c484-4156-a463-555ec98bcf19 · outbound

This paper cites Computational Advantage from Quantum-Controlled Ordering of Gates.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Computational Advantage from Quantum-Controlled Ordering of Gates

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7c59c88-f9bf-4514-afbd-b017f780989f · outbound

This paper cites Quantum computation with indefinite causal structures.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Quantum computation with indefinite causal structures

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation beb16766-9c48-4070-9a10-3d4da52e51ed · outbound

This paper cites Higher-Order Programs with Indefinite Causal Orders 27 Costin Bădescu and Prakash Panangaden.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Higher-Order Programs with Indefinite Causal Orders 27 Costin Bădescu and Prakash Panangaden

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80c59c90-c2b1-4d27-8b83-1efc927f9780 · outbound

This paper cites Quantum Alternation: Prospects and Problems.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Quantum Alternation: Prospects and Problems

Reference 8

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.357209Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6bd9c0ae-e569-4b7d-a9cc-11b100aaa3ec · outbound

This paper cites Quantum Causal Models.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Quantum Causal Models

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fda65673-40a7-4180-b0d1-b5be295cc271 · outbound

This paper cites by Alastair F.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes by Alastair F

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7a5f650-4162-4bc6-8bf6-7ac91351d30b · outbound

This paper cites Theoretical framework for higher-order quantum theory.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Theoretical framework for higher-order quantum theory

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67ea6ef7-a8cd-4dc3-a2fe-51ee409f0bf3 · outbound

This paper cites Quantum computations without definite causal structure.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Quantum computations without definite causal structure

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fee8662-3f20-4b94-b997-729af9c4ce9f · outbound

This paper cites Completely positive linear maps on complex matrices.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Completely positive linear maps on complex matrices

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e28ca2f-4535-49f7-bb52-2ff9e4b50059 · outbound

This paper cites Quantum computation with programmable connections between gates.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Quantum computation with programmable connections between gates

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e61e750f-1013-45a1-b66d-247253ff57ce · outbound

This paper cites Combining quantum and classical control: syntax, semantics and adequacy.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Combining quantum and classical control: syntax, semantics and adequacy

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 575f913a-5933-428e-a2a8-3d5e56c50f6b · outbound

This paper cites Typing Quantum Superpositions and Measurement.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Typing Quantum Superpositions and Measurement

Reference 16

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.371750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 06ef5567-626b-411d-9b78-a01cefe97eec · outbound

This paper cites Two linearities for quantum computing in the lambda calculus.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Two linearities for quantum computing in the lambda calculus

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-07-13T02:29:15.355368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 00c3b812-2e38-4787-b314-76a431111744 · outbound

This paper cites doi:10.1109/LICS.2019.8785834.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes doi:10.1109/LICS.2019.8785834

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-07-13T02:29:15.364277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f84dd40e-2ea9-4c5d-9e73-7743e715285b · outbound

This paper cites Daniel Ebler, Sina Salek, and Giulio Chiribella.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Daniel Ebler, Sina Salek, and Giulio Chiribella

Reference 19

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.348133Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3a84ab3c-6232-462e-916f-28180040dc88 · outbound

This paper cites Enhanced Communication with the Assistance of Indefinite Causal Order.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Enhanced Communication with the Assistance of Indefinite Causal Order

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c006f78c-1857-40c4-808c-ad9dc343f419 · outbound

This paper cites Quantum Circuits for the Unitary Permutation Problem.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Quantum Circuits for the Unitary Permutation Problem

Reference 21

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.429234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9f7238b3-059c-4f14-8331-bba7115f763f · outbound

This paper cites Linear Logic.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Linear Logic

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc92051a-79a0-4a36-bca1-411337e80878 · outbound

This paper cites A fast quantum mechanical algorithm for database search.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes A fast quantum mechanical algorithm for database search

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfc75851-1b02-44cc-835a-84eee0b6fd1a · outbound

This paper cites Quantum Circuits Are Just a Phase.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Quantum Circuits Are Just a Phase

Reference 24

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.461441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation dcca57bd-c8da-4289-bf17-709d5ff3ed7e · outbound

This paper cites Projective characterization of higher-order quantum transforma- tions.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Projective characterization of higher-order quantum transforma- tions

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a49767e-f91c-4070-bd22-f091936642a5 · outbound

This paper cites an unresolved cited work.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.368641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b58b26d7-4be5-4f12-80f7-b5dfdb690379 · outbound

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

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Linear transformations which preserve trace and positive semidefiniteness of operators

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7984c119-8177-4a1f-90b2-9fe9b376b48e · outbound

This paper cites On the structure of higher order quantum maps.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes On the structure of higher order quantum maps

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf5ced50-01e3-4a58-9eb0-5e220dd3f07b · outbound

This paper cites 28 Kathleen Barsse, Romain Péchoux, and Simon Perdrix G.M.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes 28 Kathleen Barsse, Romain Péchoux, and Simon Perdrix G.M

Reference 29

Resolution: malformed identifier; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c82e9950-340b-4f7d-a1d2-b133543546fd · outbound

This paper cites Coherence for compact closed categories.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Coherence for compact closed categories

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9758cd7f-f238-4560-afbc-76ecaf59c103 · outbound

This paper cites Exponential separation in quantum query complexity of the quantum switch with respect to simulations with standard quantum circuits.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Exponential separation in quantum query complexity of the quantum switch with respect to simulations with standard quantum circuits

Reference 31

Resolution: metadata mismatch; local_arxiv, observed 2026-07-13T02:29:15.382067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0079d52a-e812-4951-984d-8f246936e9c1 · outbound

This paper cites Adam Paetznick and Krysta M.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Adam Paetznick and Krysta M

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be96d54a-0912-40c1-b047-34b153ed9b2e · outbound

This paper cites Repeat-until-success: non-deterministic decomposition of single-qubit unitaries.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Repeat-until-success: non-deterministic decomposition of single-qubit unitaries

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcaff66a-8c9b-4e74-b8b4-e7c5b5f6be83 · outbound

This paper cites Computational Advantage from a Quantum Superposition of Qubit Gate Orders.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Computational Advantage from a Quantum Superposition of Qubit Gate Orders

Reference 34

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.426855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b7540aa5-d13c-4a20-ad71-e425ed767884 · outbound

This paper cites Reassessing the computational advantage of quantum-controlled ordering of gates.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Reassessing the computational advantage of quantum-controlled ordering of gates

Reference 35

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.397637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 20d6785d-09a8-4630-8b8a-c03dcaf5835f · outbound

This paper cites From Symmetric Pattern-Matching to Quantum Control.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes From Symmetric Pattern-Matching to Quantum Control

Reference 36

Resolution: malformed identifier; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b05b338-4222-4c15-aaf9-01ba4c37672e · outbound

This paper cites Towards a quantum programming language.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Towards a quantum programming language

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5536d82-2ec0-471b-8467-59239153dff3 · outbound

This paper cites Positive Functions on C*-Algebras.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Positive Functions on C*-Algebras

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98419055-9cea-4b63-a22a-74235d9a4192 · outbound

This paper cites Computational Advantage from the Quantum Superposition of Multiple Temporal Orders of Photonic Gates.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Computational Advantage from the Quantum Superposition of Multiple Temporal Orders of Photonic Gates

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 596b4f4e-b471-4c4b-a6c3-8d13df1b9f37 · outbound

This paper cites Enriched Presheaf Model of Quantum FPC.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Enriched Presheaf Model of Quantum FPC

Reference 40

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.399453Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 30885293-2807-4882-badc-40ec1ce144f8 · outbound

This paper cites Semantics of quantum programming languages: Classical control, quantum control.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Semantics of quantum programming languages: Classical control, quantum control

Reference 41

Resolution: verified exact; arxiv_id, observed 2026-07-13T02:29:15.473173Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 380331ec-9b9d-4a69-aceb-8f3707270043 · outbound

This paper cites A Lambda Calculus for Quantum Computation.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes A Lambda Calculus for Quantum Computation

Reference 42

Resolution: malformed identifier; doi_truncated, observed 2026-07-13T02:29:15.446754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f133814e-324c-45e3-82d2-2cabf62d9446 · outbound

This paper cites Consistent circuits for indefinite causal order.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Consistent circuits for indefinite causal order

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 323023b1-ba63-4d13-b51f-82e958537a0b · outbound

This paper cites Finn Voichick, Liyi Li, Robert Rand, and Michael Hicks.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Finn Voichick, Liyi Li, Robert Rand, and Michael Hicks

Reference 44

Resolution: verified exact; doi, observed 2026-07-13T02:29:15.348981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 80d37fc1-fbc1-4cc2-b032-54bd86449ece · outbound

This paper cites Qunity: A Unified Language for Quantum and Classical Computing.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Qunity: A Unified Language for Quantum and Classical Computing

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02a88c9e-f261-461d-a091-68b3d7670518 · outbound

This paper cites Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs

Reference 46

Resolution: metadata mismatch; local_arxiv, observed 2026-07-13T02:29:15.382575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3c0eb5da-70a6-49a6-b1ce-ca901845004f · outbound

This paper cites Verification of Recursively Defined Quantum Circuits.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Verification of Recursively Defined Quantum Circuits

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d87cf02c-99c1-402c-81fd-b22e6e88dd13 · outbound

This paper cites Quantum Control Machine: The Limits of Control Flow in Quantum Programming.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Quantum Control Machine: The Limits of Control Flow in Quantum Programming

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccb4def2-8eb8-4182-bba3-3e10c04013a3 · outbound

This paper cites Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs

Reference 49

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f73414d3-a553-424a-b9bb-8c2d8da681ec · outbound

This paper cites Then 𝐷(𝔮(𝑓 , 𝑔)) : JqK⊗JΛK→J𝐴⊸q 𝑛+1K is a morphism ofCaus[CPM].

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Then 𝐷(𝔮(𝑓 , 𝑔)) : JqK⊗JΛK→J𝐴⊸q 𝑛+1K is a morphism ofCaus[CPM]

Reference 50

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c84a3b4f-1827-45a3-baec-8ddeea78dc99 · outbound

This paper cites Then the result follows from [Kissinger and Uijlen 2019, Lemma 4.9], using the fact that for all 𝜌∈𝑐 JqK,𝑇 𝑟(𝑈 𝜌𝑈 †)=1.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Then the result follows from [Kissinger and Uijlen 2019, Lemma 4.9], using the fact that for all 𝜌∈𝑐 JqK,𝑇 𝑟(𝑈 𝜌𝑈 †)=1

Reference 51

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b741d412-f1e2-44e5-b526-d8a349cfa84c · outbound

This paper cites an unresolved cited work.

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-07-13T02:20:07.002454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers