Paper Citation Record · LEDGER

Quantalic lambda-calculus and additive disjunction

As of 11 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2608.06120.

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

pith.paper-citation-record.v1
2608.06120 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:45:34.936169Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

43 of 43 outbound references displayed

verified exact3
verified fuzzy36
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 96bffc9b-c4bd-41eb-962b-b5ae982a8b68 · outbound

This paper cites Aliprantis and Kim C.

Quantalic lambda-calculus and additive disjunction Aliprantis and Kim C

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:42.539145Z

Source-reported events for the cited work

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

Observation bf46a733-e85d-402f-b5ae-2c91af7bcaa7 · outbound

This paper cites Strecker.

Quantalic lambda-calculus and additive disjunction Strecker

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:42.410261Z

Source-reported events for the cited work

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

Observation 7b9e6241-49b6-435d-ae6a-d04243a68e7b · outbound

This paper cites Locally Presentable and Accessible Categories , volume 189 of London Mathematical Society Lecture Note Series.

Quantalic lambda-calculus and additive disjunction Locally Presentable and Accessible Categories , volume 189 of London Mathematical Society Lecture Note Series

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:42.277563Z

Source-reported events for the cited work

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

Observation 401c2363-7c43-4992-917f-148461cda443 · outbound

This paper cites How nice are free completions of categories? Topology and its Applications , 273, 2020.

Quantalic lambda-calculus and additive disjunction How nice are free completions of categories? Topology and its Applications , 273, 2020

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:42.151216Z

Source-reported events for the cited work

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

Observation fb4aa94a-19f0-43d3-b580-3339ac3d8b88 · outbound

This paper cites Foundations of Probabilistic Programming.

Quantalic lambda-calculus and additive disjunction Foundations of Probabilistic Programming

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:42.015139Z

Source-reported events for the cited work

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

Observation 4debcb86-1ad2-477f-9cfd-54fce976cb2d · outbound

This paper cites Handbook of categorical algebra: Categories and structures , volume 2.

Quantalic lambda-calculus and additive disjunction Handbook of categorical algebra: Categories and structures , volume 2

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:41.909674Z

Source-reported events for the cited work

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

Observation 258a6058-cd30-41e4-a92f-75d0ccc3c582 · outbound

This paper cites Functional Analysis in Asymmetric Normed Spaces.

Quantalic lambda-calculus and additive disjunction Functional Analysis in Asymmetric Normed Spaces

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:41.800029Z

Source-reported events for the cited work

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

Observation 2b2f9eac-3641-4411-8c94-7a2cb8c5afc0 · outbound

This paper cites an unresolved cited work.

Quantalic lambda-calculus and additive disjunction Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:45:41.685061Z

Source-reported events for the cited work

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

Observation b6affa96-9012-45ed-afad-6dc94f47d85e · outbound

This paper cites A reflection theorem for closed categories.

Quantalic lambda-calculus and additive disjunction A reflection theorem for closed categories

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:41.567347Z

Source-reported events for the cited work

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

Observation 0e60b996-0fe6-45de-9313-9582d91f221f · outbound

This paper cites Semantics of higher-order probabilistic programs with conditioning.

Quantalic lambda-calculus and additive disjunction Semantics of higher-order probabilistic programs with conditioning

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:41.447644Z

Source-reported events for the cited work

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

Observation f231cf73-4e1c-42ed-b01c-e2a6656cbcab · outbound

This paper cites o ttingen, Germany (Virtual Conference), February 14-19, 2022 , volume 216 of LIPIcs , pages 16:1--16:18. Schloss Dagstuhl - Leibniz-Zentrum f \.

Quantalic lambda-calculus and additive disjunction o ttingen, Germany (Virtual Conference), February 14-19, 2022 , volume 216 of LIPIcs , pages 16:1--16:18. Schloss Dagstuhl - Leibniz-Zentrum f \

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:41.323682Z

Source-reported events for the cited work

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

Observation 82a91a36-d942-4a30-837c-474f8752726e · outbound

This paper cites A complete v-equational system for graded lambda-calculus.

Quantalic lambda-calculus and additive disjunction A complete v-equational system for graded lambda-calculus

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:41.163423Z

Source-reported events for the cited work

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

Observation 226d0e69-f6a0-47fc-9e6d-68fd896683d6 · outbound

This paper cites The syntactic side of autonomous categories enriched over generalised metric spaces.

Quantalic lambda-calculus and additive disjunction The syntactic side of autonomous categories enriched over generalised metric spaces

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:40.983125Z

Source-reported events for the cited work

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

Observation 2d57a920-9dca-4f42-b626-2f02a4210d4d · outbound

This paper cites Fixed point logics on hemimetric spaces.

Quantalic lambda-calculus and additive disjunction Fixed point logics on hemimetric spaces

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:40.833115Z

Source-reported events for the cited work

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

Observation 70dcc1df-8a37-4228-8917-b807b9ffeaba · outbound

This paper cites On the Lambek embedding and the category of product-preserving presheaves.

Quantalic lambda-calculus and additive disjunction On the Lambek embedding and the category of product-preserving presheaves

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:45:35.636093Z

Source-reported events for the cited work

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

Observation 834d03e3-6621-41c3-836c-56063721c41d · outbound

This paper cites Lawson, Michael Mislove, and Dana S.

Quantalic lambda-calculus and additive disjunction Lawson, Michael Mislove, and Dana S

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:40.683938Z

Source-reported events for the cited work

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

Observation 808810b2-3943-42d2-9ea7-5ee3612816a6 · outbound

This paper cites Categorical glueing and logical predicates for models of linear logic.

Quantalic lambda-calculus and additive disjunction Categorical glueing and logical predicates for models of linear logic

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:40.537862Z

Source-reported events for the cited work

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

Observation fef5326e-188a-4da1-8926-eb708168caaf · outbound

This paper cites Logical predicates for intuitionistic linear type theories.

Quantalic lambda-calculus and additive disjunction Logical predicates for intuitionistic linear type theories

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:40.358814Z

Source-reported events for the cited work

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

Observation 0e2b5d19-6d2e-426e-b139-11f65efbc0b5 · outbound

This paper cites Completely positive projections and biproducts.

Quantalic lambda-calculus and additive disjunction Completely positive projections and biproducts

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:40.213699Z

Source-reported events for the cited work

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

Observation 0b4e8162-cf26-4212-bf2e-dae6f628a270 · outbound

This paper cites Glueing and orthogonality for models of linear logic.

Quantalic lambda-calculus and additive disjunction Glueing and orthogonality for models of linear logic

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:40.052294Z

Source-reported events for the cited work

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

Observation 9c7e30b8-a082-4b0e-8331-fb8a96e9cb57 · outbound

This paper cites Seal, and Walter Tholen, editors.

Quantalic lambda-calculus and additive disjunction Seal, and Walter Tholen, editors

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:39.907878Z

Source-reported events for the cited work

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

Observation 3d7a5a38-fbaf-41d2-99a7-8e1de0749421 · outbound

This paper cites Categorical Logic and Type Theory , volume 141 of Studies in Logic and the Foundations of Mathematics.

Quantalic lambda-calculus and additive disjunction Categorical Logic and Type Theory , volume 141 of Studies in Logic and the Foundations of Mathematics

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:39.731012Z

Source-reported events for the cited work

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

Observation 470c5150-dec2-4929-8c65-0e53416d0e22 · outbound

This paper cites Algebraic Reasoning over Relational Structures.

Quantalic lambda-calculus and additive disjunction Algebraic Reasoning over Relational Structures

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:45:35.412927Z

Source-reported events for the cited work

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

Observation 4354d7fa-73e4-4eac-b683-af0aef2cf4a8 · outbound

This paper cites Johnstone.

Quantalic lambda-calculus and additive disjunction Johnstone

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:39.541468Z

Source-reported events for the cited work

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

Observation a5b4e806-733b-4a9a-9b9c-2ab8ce94be8e · outbound

This paper cites Sketches of an Elephant -- A Topos Theory Compendium , volume 2 of Oxford Logic Guides.

Quantalic lambda-calculus and additive disjunction Sketches of an Elephant -- A Topos Theory Compendium , volume 2 of Oxford Logic Guides

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:39.344585Z

Source-reported events for the cited work

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

Observation 6b71db38-92fe-439d-ad10-d890a081d269 · outbound

This paper cites an unresolved cited work.

Quantalic lambda-calculus and additive disjunction Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:45:39.025847Z

Source-reported events for the cited work

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

Observation 417183e7-28fa-48e8-9d0a-652fff0da052 · outbound

This paper cites Logiques, Categories et Machines: Implantation de Langages de Programmation guid \'e e par la Logique Cat \'e gorique.

Quantalic lambda-calculus and additive disjunction Logiques, Categories et Machines: Implantation de Langages de Programmation guid \'e e par la Logique Cat \'e gorique

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:38.856161Z

Source-reported events for the cited work

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

Observation 04e70aeb-fedb-4459-9515-8be787864cb8 · outbound

This paper cites On quantitative algebraic higher-order theories.

Quantalic lambda-calculus and additive disjunction On quantitative algebraic higher-order theories

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:38.683371Z

Source-reported events for the cited work

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

Observation 2a309ddb-3c11-414d-9724-d2efda2ef082 · outbound

This paper cites Skew-monoidal reflection and lifting theorems.

Quantalic lambda-calculus and additive disjunction Skew-monoidal reflection and lifting theorems

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:38.490748Z

Source-reported events for the cited work

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

Observation 61c44b6d-6706-4e13-a52a-6db0f9983a09 · outbound

This paper cites Categories for the Working Mathematician , volume 5 of Graduate Texts in Mathematics.

Quantalic lambda-calculus and additive disjunction Categories for the Working Mathematician , volume 5 of Graduate Texts in Mathematics

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:38.309998Z

Source-reported events for the cited work

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

Observation 253ea2c7-b9a2-47cf-a0f5-f902bb62053c · outbound

This paper cites Categorical models of computation: partially traced categories and presheaf models of quantum computation.

Quantalic lambda-calculus and additive disjunction Categorical models of computation: partially traced categories and presheaf models of quantum computation

Reference 31

Resolution: verified exact; local_arxiv, observed 2026-08-07T14:45:35.201608Z

Source-reported events for the cited work

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

Observation 35f2cb44-9a8b-4c6e-bbe1-af60f4d939c3 · outbound

This paper cites Relating categorical semantics for intuitionistic linear logic.

Quantalic lambda-calculus and additive disjunction Relating categorical semantics for intuitionistic linear logic

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:38.103225Z

Source-reported events for the cited work

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

Observation 74f57fe6-65ac-4e7b-8e3b-7e6116f52953 · outbound

This paper cites an unresolved cited work.

Quantalic lambda-calculus and additive disjunction Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:45:37.860158Z

Source-reported events for the cited work

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

Observation 62a09870-73b1-4cc2-ab09-997dc4afb9f2 · outbound

This paper cites an unresolved cited work.

Quantalic lambda-calculus and additive disjunction Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-07T14:45:37.669849Z

Source-reported events for the cited work

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

Observation a190fb16-821c-4198-b482-06f26328617a · outbound

This paper cites Universal quantitative algebra for fuzzy relations and generalised metric spaces.

Quantalic lambda-calculus and additive disjunction Universal quantitative algebra for fuzzy relations and generalised metric spaces

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:37.442403Z

Source-reported events for the cited work

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

Observation 3d65d8a2-b1ad-42a5-afb3-c3ff48c1c497 · outbound

This paper cites Labelled Markov Processes.

Quantalic lambda-calculus and additive disjunction Labelled Markov Processes

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:37.224451Z

Source-reported events for the cited work

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

Observation 150423f7-8cb5-4a01-9612-171ab53ccb64 · outbound

This paper cites Quantales.

Quantalic lambda-calculus and additive disjunction Quantales

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:37.040937Z

Source-reported events for the cited work

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

Observation 36fc0cad-d114-4c71-9f7b-0f9c829f2c15 · outbound

This paper cites Towards a semantics for higher-order quantum computation.

Quantalic lambda-calculus and additive disjunction Towards a semantics for higher-order quantum computation

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:36.856974Z

Source-reported events for the cited work

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

Observation 88bdfa95-079d-48e6-9145-6e62f84b6538 · outbound

This paper cites Dagger compact closed categories and completely positive maps.

Quantalic lambda-calculus and additive disjunction Dagger compact closed categories and completely positive maps

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:36.671437Z

Source-reported events for the cited work

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

Observation 838e0353-43cd-4092-83c1-bab97f6b5e86 · outbound

This paper cites Idempotents in dagger categories.

Quantalic lambda-calculus and additive disjunction Idempotents in dagger categories

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:36.458377Z

Source-reported events for the cited work

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

Observation 64b61eb6-e170-4d5a-a4e9-f4da91f90714 · outbound

This paper cites A practical type theory for symmetric monoidal categories.

Quantalic lambda-calculus and additive disjunction A practical type theory for symmetric monoidal categories

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:36.262698Z

Source-reported events for the cited work

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

Observation d6c2529e-e563-48f4-9f91-0183a6b80ade · outbound

This paper cites An introduction to quantaloid-enriched categories.

Quantalic lambda-calculus and additive disjunction An introduction to quantaloid-enriched categories

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:36.029295Z

Source-reported events for the cited work

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

Observation 9f89e349-74d4-456c-8481-42a7cda74c61 · outbound

This paper cites The Theory of Quantum Information.

Quantalic lambda-calculus and additive disjunction The Theory of Quantum Information

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:45:35.830004Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.