{"as_of":"2026-08-10T05:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e4aa20d6ebea4fc1502204818fbc32f4707c01d32dbcae9b17f28b7f1a0155aa","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T14:45:34.936169Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.06120/citation-record","integrity":"/paper/2608.06120/integrity","json":"/paper/2608.06120/citation-record.json","paper":"/paper/2608.06120"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:42.487118Z","title":"Aliprantis and Kim C","venue":null,"work_id":"301d94f2-6d41-4aa5-8269-5c954e7a2b0d","year":2006},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:30.939814Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:521ac7a70dd93f2e4df8c8e156a79d4d67f9c459d1cf286c235e1e7f3816d192","observation_id":"96bffc9b-c4bd-41eb-962b-b5ae982a8b68","resolution":{"observed_at":"2026-08-07T14:45:42.539145Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:42.357870Z","title":"Strecker","venue":null,"work_id":"867cb349-be45-4483-baa3-98dd08d9e94e","year":2009},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:30.991925Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:3ec52ac35cdcb16e9ed52b421d38ed2f294d170bffbb1c5b932cb5897c826428","observation_id":"bf46a733-e85d-402f-b5ae-2c91af7bcaa7","resolution":{"observed_at":"2026-08-07T14:45:42.410261Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:42.219783Z","title":"Locally Presentable and Accessible Categories , volume 189 of London Mathematical Society Lecture Note Series","venue":null,"work_id":"5aab56e4-029a-4cba-9086-480119746fd8","year":2009},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:31.048194Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:954703f2c208c86f3a05e2f0d15788b0a8c43b4fa25e8421e8ffe495da6ec861","observation_id":"7b9e6241-49b6-435d-ae6a-d04243a68e7b","resolution":{"observed_at":"2026-08-07T14:45:42.277563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:42.085705Z","title":"How nice are free completions of categories? Topology and its Applications , 273, 2020","venue":null,"work_id":"ae4c19e4-2aaa-4bd0-9865-ccac1a82f1dd","year":2020},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:31.115002Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:2796ddb0e2b68d831840177ecf88bd33e365a8d972d7cdd9616c699ae4088373","observation_id":"401c2363-7c43-4992-917f-148461cda443","resolution":{"observed_at":"2026-08-07T14:45:42.151216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:41.974960Z","title":"Foundations of Probabilistic Programming","venue":null,"work_id":"345320b9-2989-4592-b1bb-02012146d6fb","year":2020},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:31.186233Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:462427f9286ceb6dde3ce00ee0f4a8413e54a3ad4e3a458aea7bf458e73296e6","observation_id":"fb4aa94a-19f0-43d3-b580-3339ac3d8b88","resolution":{"observed_at":"2026-08-07T14:45:42.015139Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:41.869726Z","title":"Handbook of categorical algebra: Categories and structures , volume 2","venue":null,"work_id":"c25397f0-73a0-4add-91e5-7d2bbe0c954d","year":2009},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:31.237766Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:4d9003515458749c0e91b29a875fff4cf349543a71098635d6fe319c6819208c","observation_id":"4debcb86-1ad2-477f-9cfd-54fce976cb2d","resolution":{"observed_at":"2026-08-07T14:45:41.909674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:41.743535Z","title":"Functional Analysis in Asymmetric Normed Spaces","venue":null,"work_id":"aed141ff-80cc-4549-b07f-eb88c7dc6e6d","year":2013},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:31.341548Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:cb76ffdd468f2e8708c3e5f7cd817e1254081ebc6b5613f5f1826ce85b1ec01d","observation_id":"258a6058-cd30-41e4-a92f-75d0ccc3c582","resolution":{"observed_at":"2026-08-07T14:45:41.800029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:41.631835Z","title":null,"venue":null,"work_id":"b8ec976d-d609-4e3d-b244-73ef0de74605","year":1993},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:31.453227Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:5c294904fbbe5261e5b3768455cfb16a4c31c9678d18172cdc2aadbd6bfe16c3","observation_id":"2b2f9eac-3641-4411-8c94-7a2cb8c5afc0","resolution":{"observed_at":"2026-08-07T14:45:41.685061Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:41.519988Z","title":"A reflection theorem for closed categories","venue":null,"work_id":"fac131a5-b008-4802-b30a-91ce4e13d010","year":1972},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:31.556621Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:12a4bcddaf4009b3d35aa2d8c9ebcc2a00d8a55a9c947f3d521f921d5177b2cf","observation_id":"b6affa96-9012-45ed-afad-6dc94f47d85e","resolution":{"observed_at":"2026-08-07T14:45:41.567347Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:41.398547Z","title":"Semantics of higher-order probabilistic programs with conditioning","venue":null,"work_id":"c96ab38f-b96e-478f-8691-aa8cf835fe7b","year":2020},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:31.693843Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:9423523248a4cf51b8e90364be997a81a57d9996f4d83253b91f1c026044c697","observation_id":"0e60b996-0fe6-45de-9313-9582d91f221f","resolution":{"observed_at":"2026-08-07T14:45:41.447644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:41.251462Z","title":"o ttingen, Germany (Virtual Conference), February 14-19, 2022 , volume 216 of LIPIcs , pages 16:1--16:18. Schloss Dagstuhl - Leibniz-Zentrum f \\","venue":null,"work_id":"e4bb1ed0-c2c3-4c7f-abc2-90615b7e9dca","year":2022},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:31.830432Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:d8913eeae277238fe604c0f97aa357de3da6ca0e899f209d6e4b2eaf173d39ea","observation_id":"f231cf73-4e1c-42ed-b01c-e2a6656cbcab","resolution":{"observed_at":"2026-08-07T14:45:41.323682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:41.065237Z","title":"A complete v-equational system for graded lambda-calculus","venue":null,"work_id":"4435a163-c2a5-4326-b0f1-6737286c829d","year":2023},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:31.945745Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:c5cb8e4a8694bf26a722795a31f0ebb7b99a0bfc9d7ed1d0f31130518d2d76dc","observation_id":"82a91a36-d942-4a30-837c-474f8752726e","resolution":{"observed_at":"2026-08-07T14:45:41.163423Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:40.910970Z","title":"The syntactic side of autonomous categories enriched over generalised metric spaces","venue":null,"work_id":"6fbfd969-536b-45b9-bf35-76e160b73659","year":2023},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:32.053863Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:9aaf87e912779f09bf81555c58e4b5896577e6fc7653d18fbed1b9ba363d877c","observation_id":"226d0e69-f6a0-47fc-9e6d-68fd896683d6","resolution":{"observed_at":"2026-08-07T14:45:40.983125Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:40.767577Z","title":"Fixed point logics on hemimetric spaces","venue":null,"work_id":"9303adff-ce8d-4103-8382-f1a1fe21d597","year":2023},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:32.063466Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:274a974ca13d9c2c0cbee7079d0327d1de14eb9760dae5b368c46ae062573898","observation_id":"2d57a920-9dca-4f42-b626-2f02a4210d4d","resolution":{"observed_at":"2026-08-07T14:45:40.833115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2205.06068","last_updated":"2022-05-12T13:02:25Z","snapshot_observed_at":"2026-07-06T13:09:18.182976Z","submitted_at":"2022-05-12T13:02:25Z","title":"On the Lambek embedding and the category of product-preserving presheaves","version":1},"cited_work":{"arxiv_id":"2205.06068","doi":null,"metadata_source":"pith","pith_arxiv_id":"2205.06068","snapshot_observed_at":"2026-08-07T14:45:35.548380Z","title":"On the Lambek embedding and the category of product-preserving presheaves","venue":"math.CT","work_id":"2479f758-124e-4dc3-b4ff-e79c0f9e6d0f","year":2022},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:32.067737Z"},"links":{"cited_paper":"/paper/2205.06068","citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:f2a33470dfcf2c6eacc8b02bc6b6dd9ecd7a1cf09bedda4989eb9077dc39a6d4","observation_id":"70dcc1df-8a37-4228-8917-b807b9ffeaba","resolution":{"observed_at":"2026-08-07T14:45:35.636093Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:40.619975Z","title":"Lawson, Michael Mislove, and Dana S","venue":null,"work_id":"99eed7d1-2598-46b0-8e9f-57ae8fddce0e","year":2003},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:32.151590Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:0e2272880a987fcc64befdf193b18e48ef297f6eece7fd855f7806d39637e78f","observation_id":"834d03e3-6621-41c3-836c-56063721c41d","resolution":{"observed_at":"2026-08-07T14:45:40.683938Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:40.440317Z","title":"Categorical glueing and logical predicates for models of linear logic","venue":null,"work_id":"e20c8bdd-eb4b-40be-afbe-95afb665a10f","year":1999},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:32.304628Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:f2a252b5515c9105d1c4312e1467203e1369b586d7325d5a6ba0b1479554ca0e","observation_id":"808810b2-3943-42d2-9ea7-5ee3612816a6","resolution":{"observed_at":"2026-08-07T14:45:40.537862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:40.294694Z","title":"Logical predicates for intuitionistic linear type theories","venue":null,"work_id":"de92efbb-17a3-4628-8f3b-30563175b761","year":1999},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:32.462506Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:fcd38b0000555270197ea2525df0cb4807f4b451fd74f64d82d5d0cffa318ead","observation_id":"fef5326e-188a-4da1-8926-eb708168caaf","resolution":{"observed_at":"2026-08-07T14:45:40.358814Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:40.140911Z","title":"Completely positive projections and biproducts","venue":null,"work_id":"75b93da6-02c1-4e0a-9618-68aabb2b554a","year":2014},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:32.608561Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:6a39c7f3af62b37466070f22f0004a92ba5d4358c3418001f73906c9476d7c85","observation_id":"0e2b5d19-6d2e-426e-b139-11f65efbc0b5","resolution":{"observed_at":"2026-08-07T14:45:40.213699Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:39.992119Z","title":"Glueing and orthogonality for models of linear logic","venue":null,"work_id":"72b6cdce-5dcd-4f50-b11a-b5364d0ec8c4","year":2003},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:32.726314Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:0dfbbc2a3f3bb1e02fed4932dc188d380b1008ffb0a8fcbced930add3fc4fff4","observation_id":"0b4e8162-cf26-4212-bf2e-dae6f628a270","resolution":{"observed_at":"2026-08-07T14:45:40.052294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:39.843821Z","title":"Seal, and Walter Tholen, editors","venue":null,"work_id":"dab663f5-9a24-4ba8-a835-38fc91adc25c","year":2014},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:32.849772Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:3d4fbb6e164badb3a7ead01e5ba5cf3ae15e36f56b6fe96e519d560506d8b4b6","observation_id":"9c7e30b8-a082-4b0e-8331-fb8a96e9cb57","resolution":{"observed_at":"2026-08-07T14:45:39.907878Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:39.667676Z","title":"Categorical Logic and Type Theory , volume 141 of Studies in Logic and the Foundations of Mathematics","venue":null,"work_id":"4c7f5598-9ee5-47d0-9b61-ab181e15b999","year":1999},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:32.972694Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:edb29e1bb22b53f74c441616d76fd6078fa0f8125089eac6ce4d65bf5f92086f","observation_id":"3d7a5a38-fbaf-41d2-99a7-8e1de0749421","resolution":{"observed_at":"2026-08-07T14:45:39.731012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08445","last_updated":"2024-12-07T21:12:59Z","snapshot_observed_at":"2026-08-09T14:51:35.937576Z","submitted_at":"2024-01-16T15:45:49Z","title":"Algebraic Reasoning over Relational Structures","version":5},"cited_work":{"arxiv_id":"2401.08445","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.08445","snapshot_observed_at":"2026-08-07T14:45:35.312769Z","title":"Algebraic Reasoning over Relational Structures","venue":"cs.LO","work_id":"35328477-e91e-4297-a4a3-b22f02739ceb","year":2024},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:33.161300Z"},"links":{"cited_paper":"/paper/2401.08445","citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:16e5c4b1f56cf37ebd54e230346a2730461f1610db4152bb8800b11dea44ab3b","observation_id":"470c5150-dec2-4929-8c65-0e53416d0e22","resolution":{"observed_at":"2026-08-07T14:45:35.412927Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:39.442644Z","title":"Johnstone","venue":null,"work_id":"62e29e6f-e807-465d-8648-0cd5e55fc527","year":1982},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:33.266878Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:5bcf0bbaff02525c7279fc2ee679e0568711a7a087f7c4aeda8cdf6e43bf9043","observation_id":"4354d7fa-73e4-4eac-b683-af0aef2cf4a8","resolution":{"observed_at":"2026-08-07T14:45:39.541468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:39.267988Z","title":"Sketches of an Elephant -- A Topos Theory Compendium , volume 2 of Oxford Logic Guides","venue":null,"work_id":"5e7f753b-fc40-43d6-a8c1-1ad76fefb80a","year":2002},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:33.343712Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:210c3e1c011c6ce63461bef488ad1745feb62c70fb26eb9e24149eb3391e8c32","observation_id":"a5b4e806-733b-4a9a-9b9c-2ab8ce94be8e","resolution":{"observed_at":"2026-08-07T14:45:39.344585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:38.929937Z","title":null,"venue":null,"work_id":"cd8626ef-a850-4671-bd76-34d487e42824","year":1982},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:33.441644Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:03181ce21b51532f28e9500a6698d1d7307a1822a8d0bf905b2b180eb5f234fc","observation_id":"6b71db38-92fe-439d-ad10-d890a081d269","resolution":{"observed_at":"2026-08-07T14:45:39.025847Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:38.787714Z","title":"Logiques, Categories et Machines: Implantation de Langages de Programmation guid \\'e e par la Logique Cat \\'e gorique","venue":null,"work_id":"c7635d67-b4e6-401f-9043-595b8aa25fa6","year":1988},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:33.513110Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:0f19e1e3e160e9bd39b8a4ff9699d00ef4550acedd4354dcae04efa871f9441c","observation_id":"417183e7-28fa-48e8-9d0a-652fff0da052","resolution":{"observed_at":"2026-08-07T14:45:38.856161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:38.595336Z","title":"On quantitative algebraic higher-order theories","venue":null,"work_id":"098b3ffe-01df-49c1-9755-9c48ae1263f2","year":2022},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:33.569542Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:4ec50ca9333d90e536687e76af27f35fdb1d90dfd1ff771373b7cff106df6007","observation_id":"04e70aeb-fedb-4459-9515-8be787864cb8","resolution":{"observed_at":"2026-08-07T14:45:38.683371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:38.386972Z","title":"Skew-monoidal reflection and lifting theorems","venue":null,"work_id":"93e7885b-5373-455f-b123-0dd1d91912ee","year":2015},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:33.640761Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:9d6bb29d057b17a3e12375cf65f7d3bda2bc05ae5670359286c1b472d4e1b901","observation_id":"2a309ddb-3c11-414d-9724-d2efda2ef082","resolution":{"observed_at":"2026-08-07T14:45:38.490748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:38.232510Z","title":"Categories for the Working Mathematician , volume 5 of Graduate Texts in Mathematics","venue":null,"work_id":"d27596da-c1ea-4663-bf56-02067393c019","year":1997},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:33.710711Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:4241a82bc97d51ce218362955a5100bd53d2932fb491a374f2f9e7128305d956","observation_id":"61c44b6d-6706-4e13-a52a-6db0f9983a09","resolution":{"observed_at":"2026-08-07T14:45:38.309998Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1301.5087","last_updated":"2013-01-22T06:52:42Z","snapshot_observed_at":"2026-08-05T14:28:10.954555Z","submitted_at":"2013-01-22T06:52:42Z","title":"Categorical models of computation: partially traced categories and presheaf models of quantum computation","version":1},"cited_work":{"arxiv_id":"1301.5087","doi":null,"metadata_source":"pith","pith_arxiv_id":"1301.5087","snapshot_observed_at":"2026-08-07T14:45:35.131619Z","title":"Categorical models of computation: partially traced categories and presheaf models of quantum computation","venue":"math.CT","work_id":"a0b05980-d7c0-465c-b1f5-6bd12b6f748b","year":2013},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:33.866969Z"},"links":{"cited_paper":"/paper/1301.5087","citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:fa5b832464640584b0db8f57a31e8b0b1ca94dabc8b673020b0a81fc635b2899","observation_id":"253ea2c7-b9a2-47cf-a0f5-f902bb62053c","resolution":{"observed_at":"2026-08-07T14:45:35.201608Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:37.982402Z","title":"Relating categorical semantics for intuitionistic linear logic","venue":null,"work_id":"723b4f6f-dd8b-40d6-a5e6-ae594bc4d630","year":2005},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:33.963023Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:daafa85becbda6c1b5eb3181bcfe70db7e5b430b3312af45ad4fa6fdf1ad145a","observation_id":"35f2cb44-9a8b-4c6e-bbe1-af60f4d939c3","resolution":{"observed_at":"2026-08-07T14:45:38.103225Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:37.759441Z","title":null,"venue":null,"work_id":"b24ea950-77aa-4fb8-851d-b9f93618267c","year":2016},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:34.041513Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:8c925ac7dacd1152bb949a2129c619e22add198286e4493913d6471494dc8e13","observation_id":"74f57fe6-65ac-4e7b-8e3b-7e6116f52953","resolution":{"observed_at":"2026-08-07T14:45:37.860158Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:37.598404Z","title":null,"venue":null,"work_id":"a817ba3e-e4a8-4454-a957-d086c3078dcd","year":2017},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:34.115912Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:748a009f36a98bb2f3e0b8788873a01f8e67e6ebcde5d26f36f7ce289fa62f4c","observation_id":"62a09870-73b1-4cc2-ab09-997dc4afb9f2","resolution":{"observed_at":"2026-08-07T14:45:37.669849Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:37.342474Z","title":"Universal quantitative algebra for fuzzy relations and generalised metric spaces","venue":null,"work_id":"f3334875-d4fd-486b-b044-c77dd69ae6f0","year":2024},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:34.197241Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:2964edfa4bf40e429368c03d823f8f746d8604211b2821c5c23dcdb055d6b59c","observation_id":"a190fb16-821c-4198-b482-06f26328617a","resolution":{"observed_at":"2026-08-07T14:45:37.442403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:37.154728Z","title":"Labelled Markov Processes","venue":null,"work_id":"48e55bd5-15bb-44fb-a82f-23f587c9e690","year":2009},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:34.302990Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:77ae36ba8967cb0cd7a22cb6389a059bb16ccaca2d2aeff21b6e83c398829d10","observation_id":"3d65d8a2-b1ad-42a5-afb3-c3ff48c1c497","resolution":{"observed_at":"2026-08-07T14:45:37.224451Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:36.967303Z","title":"Quantales","venue":null,"work_id":"6a9c0079-a6a5-4771-adfa-e0863373112f","year":2000},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:34.376791Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:72da46736bcf04f2a979f8ec7c297ba13b8d9e6fb2f27f5bc18dd35b90e62986","observation_id":"150423f7-8cb5-4a01-9612-171ab53ccb64","resolution":{"observed_at":"2026-08-07T14:45:37.040937Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:36.781790Z","title":"Towards a semantics for higher-order quantum computation","venue":null,"work_id":"2b319a22-7e02-40dc-b23d-b66dd0a491c0","year":2004},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:34.471587Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:17e74376f8b1fa7da4f33c71bd753e8864e5a002e971c9554c9e1b80a8b27abe","observation_id":"36fc0cad-d114-4c71-9f7b-0f9c829f2c15","resolution":{"observed_at":"2026-08-07T14:45:36.856974Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:36.567294Z","title":"Dagger compact closed categories and completely positive maps","venue":null,"work_id":"8131c6a0-f390-4a70-aba5-ce2cf5fd0f5a","year":2007},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:34.557245Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:3b6847be9ee72bf06e272c9f84a2c669cd1a004042e3aeb5799b7c967554cdd1","observation_id":"88bdfa95-079d-48e6-9145-6e62f84b6538","resolution":{"observed_at":"2026-08-07T14:45:36.671437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:36.384835Z","title":"Idempotents in dagger categories","venue":null,"work_id":"3965ecd4-c01a-4459-b8c5-6f9ea9df988d","year":2008},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:34.654403Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:f64c34a276e81111e79cb597959d418516791a1e605a36d6c744e8bb7d0503fe","observation_id":"838e0353-43cd-4092-83c1-bab97f6b5e86","resolution":{"observed_at":"2026-08-07T14:45:36.458377Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:36.155605Z","title":"A practical type theory for symmetric monoidal categories","venue":null,"work_id":"147a1de6-2f20-499c-966d-c3a3c2285ac9","year":2021},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:34.740904Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:03d725e3924134e1222bdf5b169d6f69382ccd4e036d887ce6069de46b47a5bc","observation_id":"64b61eb6-e170-4d5a-a4e9-f4da91f90714","resolution":{"observed_at":"2026-08-07T14:45:36.262698Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:35.933377Z","title":"An introduction to quantaloid-enriched categories","venue":null,"work_id":"94249974-80e1-465e-b6b8-9be8d73f3d7d","year":2014},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:34.838889Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:3b95dd585ddd9393d31662743abc3ab7532d4b040d937a8b85ee8bfb7c36b64d","observation_id":"d6c2529e-e563-48f4-9f91-0183a6b80ade","resolution":{"observed_at":"2026-08-07T14:45:36.029295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T14:45:35.761234Z","title":"The Theory of Quantum Information","venue":null,"work_id":"da3694b2-df07-4e05-8f0d-8ef959b8d4c9","year":2018},"citing_paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T14:45:34.936169Z"},"links":{"citing_paper":"/paper/2608.06120"},"observation_digest":"sha256:60684bace605663a906593474568121332860b3e9fdfd5506c61d164ad1510ed","observation_id":"9f89e349-74d4-456c-8481-42a7cda74c61","resolution":{"observed_at":"2026-08-07T14:45:35.830004Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.06120","last_updated":"2026-08-06T14:51:20Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-09T23:12:57.583277Z","submitted_at":"2026-08-06T14:51:20Z","title":"Quantalic lambda-calculus and additive disjunction"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":3,"verified_fuzzy":36},"total_outbound_references":43},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2608.06120."}