Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T14:45:34.936169Z
Paper Citation Record · LEDGER
Quantalic lambda-calculus and additive disjunction
As of 13 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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-13T06:32:02.005865+00:00.
Observation bf46a733-e85d-402f-b5ae-2c91af7bcaa7 · outbound
This paper cites 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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+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-13T06:32:02.005865+00:00.
Pith citing papers
No inbound Pith citation observations are available.