{"as_of":"2026-08-11T16:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6b6cc5b6614d7b69bf5741249e4b36e3bebea35e646313eeecede1e82d39738b","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-11T06:34:44.6726+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:9f75c6ab5a7b2bfea174fe517bdbe278055740785a2f217b70866d05df1edb06","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:a8cc0383cd8e02b54b69b8d79ea59f50b1876ce7347ab67e8e8224f98dfbd150","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:5d02b7f0d5abc4ae210900767b1857223d96ec2f5879a5e15019fb4365ea0637","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:d29bccf6147eb528f621627ee34da05159feffc4d371617095d97908b7a4ec4a","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:f1a6c216242033b9d4aa8913753587766b7c16950740136e83416f786b6d627d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:ddd92377c5b04f2c3bdb0a50d681b0eaa89e2418adeb3e48530e5b2ef8ea0467","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:5d6f70be8f2222f1a925ecc35265035db22a6bebea91630187df233daa69ed47","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:bca5d443fae716b7e26b6534612ed66cd773ac5901711bd6c9fe82cc00f42944","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:569644ae14650742c2ccb71ac523c159159ee4c83b5fbd01c0bd89f87367624a","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:f0fbabb951233143440881b40cef0bc295325779c6f62d173bbbd1175a150f5f","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:690e323fa75c86a6fbf05e512d681ddbe15a7a7810f5720c87614d89e5d1560e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:45699e9072b8cf7cc20c1bc86b79777b702d99e9be9fffdbc96c7e6c3e20a0d9","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:e5ea08b5923bc6bfa8e5cbb12fd32128b5c0f8d3d25afd23ff5775a09f6fa465","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:7a3c5522705a07cb9176b725963941c23c7b1108284d6353b6b65261cb45351c","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-08-10T06:59:03.073686Z","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:ee3aa3a5acc58391464e2b8fcbd9093cff181781f7795343d5236b5006cce4fb","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:36496e03c12a111432dffafbea04f70341cc945f93ed4f26d8d3b677c7e3d512","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:69685f544ef39f0e182b917107323505f733015edadaf68d58463d0a7cfc7864","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:fd3191313367cf78b155fcddf51b68843c127b17d9bb3f4be03bf517c29755ce","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:3e73ce751d924b6e6969f343efd16ee9862b5bebfc8a227484195a974009469e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:bd7b0953d0c0c0e69c7ab1b6c6151a688ce1499fb9976fb501f5e9ceb0731071","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:0f6d8758b40e5f7b1afa3c55f9825e297f288be31c7d5b81ac9a12c27f4a3b32","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:e6c97ddbf949076f849448284d5db93db57fdfcd3df4396b758351e0836db5a7","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:7de3040d7ee5eed34147935cafecfafc7dcc73cbc2f00275b528f1d337bb5ee0","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:395846e5e1a4d695422ff6705ccd3a56661e9b9a791cae0d41239470b82a12f7","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:3850fb4c456d014e69915a1b46d20a94e2d81607ceb28e8d6149a4bcc02d72f0","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:d9a6d245ac8101969de6668f2358ed9da1174eaf86b4f48996bc520b4190d74d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:5ca203ca494ba967471c7a5d6612a0af9eb94c20f3e5ff1ab35a1c7d92b270e1","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:36b5cb8e32a26c5443c3b339955d160316dab513e16c7fb86c907459f443ebba","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:437b173ddda1ddac83fcaca7bda9f4e06dc7094f8b9e3c0e74661b900491acec","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:ff43d2b3d6ee9713fa2a0c13ec28c8253dd72df0584edd78111d2f9657899e21","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:d2c4d1704566a1354120af9db036cfa45ac1095d27051c87055fa494eeb20bc9","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:5796e6ccdb7ad590d806fbe31809c5b7331844549cf4423ffeadcb75ff3fb325","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:33ebd25883df231c575a88fa3f6c809ab2c34a079872c3e4388e5120906cda60","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:9cb220fc31b71d55b49c9c45438da611dfe9a5a3a13809eecf51083501fb74f4","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:b730ed932065fdb34ee4714b90f39a61c651c1470fa96a44772c7df5bf8d279c","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:f17e3adcd37351c57f9ee13f87ea4cbe04fc4d5945e143d17a2b6ca25a91e7dd","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:6487594c25f2b28c8ba41f57440864b53d0358d33b61ecdc4902f9ab4a3913af","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:7409b54b15a80b97705bd36a233c4a106369cec1c01d790e603ff67cb7b63888","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:382c59711e3c208e6ffa3902db6626ae1416b75e0af262fdc18e2e8a6bc8514d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:62f5a8d41a8ee6bac75df41a4516d778c30495d63a215c117dd35b170996eb90","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:00b147ef49559df5894bc7eaf91754b90639c1c93ff774691f23b23c5a068bd8","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:2151b68e8b511a20219a1553591a8347ed85197cffd2181d2a97cdce6f1c4fb0","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:0a18d9d6bd72932ddf8b63fb149da06d3ef4cd0b9da28b337e5b10c8f7bf091d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"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."}