{"as_of":"2026-08-08T09:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6bcf609ca385e74d0eb08fa5ef1515da6c9d49cd57dd79ad296ee8ebe1cb55de","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:22:49.429027Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2505.24812/citation-record","integrity":"/paper/2505.24812/integrity","json":"/paper/2505.24812/citation-record.json","paper":"/paper/2505.24812"},"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-07T12:22:57.548110Z","title":"Abstract syntax and variable binding,","venue":null,"work_id":"1c2c6a4b-9469-4139-8419-a2029a8a0cc6","year":1999},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:46.633203Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:c97b1736e22db1837a12a10f3a0064d522d409aa9ebd3be53e7a29a2e5938120","observation_id":"87d6fc9c-277d-4dea-8d61-dbdf9c9a4722","resolution":{"observed_at":"2026-08-07T12:22:57.631529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:57.410243Z","title":"A new approach to abstract syntax involving binders,","venue":null,"work_id":"f42951ad-b2e2-427f-b595-2c441cf898a2","year":1999},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:46.688802Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:b58b5c767fa8cbae3685bf6fab8e32705024b328fd95a0e022ad820c22e11342","observation_id":"71f1fb9b-cb56-4ceb-bbdc-8189fa2f846b","resolution":{"observed_at":"2026-08-07T12:22:57.481618Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:56.638726Z","title":"Abstract syntax and variable binding for linear binders,","venue":null,"work_id":"e1ba50f3-b86a-4412-a30f-13ee2ffe16cf","year":2000},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:46.774693Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:1685a134569805b7072808d5ee046e40a433a8c74c412b933bf5fa26b5b329a4","observation_id":"899a9ee6-b99a-4285-830f-2abb0f36c8ed","resolution":{"observed_at":"2026-08-07T12:22:57.149656Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:56.113939Z","title":"Une th ´eorie combinatoire des s´eries formelles,","venue":null,"work_id":"1ef1285e-108f-497b-b492-877b81561d8f","year":1981},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:46.876374Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:91296aa8424174d84bd6a37afdad82e7d2502c1e15702021353f1dd0c455a0a5","observation_id":"d0579018-0989-461d-a560-aa6c9ece7e99","resolution":{"observed_at":"2026-08-07T12:22:56.279642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:55.953454Z","title":"Foncteurs analytiques et esp `eces de structures,","venue":null,"work_id":"922c3481-7d85-4c02-85ff-889eac58e5f0","year":1986},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:46.966877Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:a8796674f5ede60e85d2ea1ef4c98dff28e9b994d063a2ff90ef46f3d9194799","observation_id":"5cf4fa9a-e52a-483e-9701-e3fa14136597","resolution":{"observed_at":"2026-08-07T12:22:56.042232Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:55.807944Z","title":"A unified category-theoretic semantics for binding signatures in substructural logics,","venue":null,"work_id":"d45ae80b-3bf2-494c-9358-62243b5430a8","year":2006},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:47.079573Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:73c80ce8f9454dfb1571324a87be704838ce340c659752ed0df52bf80e7810f2","observation_id":"f0d4d5a3-69bd-4144-9b41-c0759867fc2c","resolution":{"observed_at":"2026-08-07T12:22:55.875464Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:55.647347Z","title":"Notes on combinatorial functors,","venue":null,"work_id":"496cca6e-d367-440e-992f-f857daf1d283","year":2001},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:47.169397Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:367f558c6516b46f629f470d189c106f3d7d62a3d1ab6acc257a2fecbac2f786","observation_id":"e7401d3b-2113-4671-b151-bb02ccc872f4","resolution":{"observed_at":"2026-08-07T12:22:55.731093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:54.871844Z","title":"A fully abstract model for the π-calculus,","venue":null,"work_id":"db9e6b57-5334-4769-9add-4c93dff8bc23","year":1996},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:47.267437Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:f09d299dc1e6185d62177d9213bd101d9481526ad612d07209651659156ee5ca","observation_id":"e0ef0cd5-4dfc-49e3-b883-25dc2c5dc393","resolution":{"observed_at":"2026-08-07T12:22:55.409191Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:54.380089Z","title":"On the structure of substitution,","venue":null,"work_id":"50764ce6-d2bd-415e-93c6-2903472a4e92","year":2006},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:47.365269Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:8b3d12a9aae9560463e9af3a966a2db94177a7855dd8bd0ac2a6ff8a0eae5a0d","observation_id":"cf722e02-2521-4608-96e0-9747f2fe0296","resolution":{"observed_at":"2026-08-07T12:22:54.557508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:54.194331Z","title":"Towards a mathematical theory of substitution,","venue":null,"work_id":"e1980c7e-a6d9-4962-aac9-003c9580230c","year":2007},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:47.451801Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:c6a41cfaaa95431efc9fac9dfd18d31400b7fa1e78a52ade0e888247be8b8379","observation_id":"9427281a-3485-46c8-ba2b-d6419fa2937f","resolution":{"observed_at":"2026-08-07T12:22:54.307145Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:53.970597Z","title":"Categorical algebra,","venue":null,"work_id":"03cbbf32-da05-430d-9220-4aabb1149270","year":1965},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:47.519250Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:62c1990c61e9fad68ed039b4de5f2504908b0dbf797ae61398ae642f1c52fac7","observation_id":"046afbd7-4e87-4772-8b3b-33dcc5de6787","resolution":{"observed_at":"2026-08-07T12:22:54.071494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:53.750946Z","title":"Operads and PROPs,","venue":null,"work_id":"503857f1-5f08-4a39-9918-ffeac4cf49ac","year":2008},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:47.602653Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:b4e69dcff640dd3f16bb6dbcf822af15ffa7c24a8b6c69aae87b251e7e4cbff2","observation_id":"64683992-093f-4f46-ace6-85656391ab97","resolution":{"observed_at":"2026-08-07T12:22:53.865598Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:53.526553Z","title":"Finite sets and symmetric simplicial sets,","venue":null,"work_id":"382856c0-50cd-4366-99a8-b965017cd13c","year":2001},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:47.671780Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:41c04892ec67cf993c487308b853db4c788d6096a4803aa22fb7fc9c0f921c7a","observation_id":"7874f3b2-6e36-4a73-83f3-fac7cd7d882c","resolution":{"observed_at":"2026-08-07T12:22:53.634619Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:53.370317Z","title":"On closed categories of functors,","venue":null,"work_id":"ae8292c3-f3cb-4080-b83a-4a31b15c47c6","year":1970},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:47.773814Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:8b21c0ff54e65cd1098bf14326210312eddfdd9a10c0805ae58ca0f4f42401f7","observation_id":"85560ccf-bb48-4565-beb1-e7850cefaa76","resolution":{"observed_at":"2026-08-07T12:22:53.453197Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:53.228942Z","title":"A universal property of the convolution monoidal structure,","venue":null,"work_id":"579fd09c-0453-454a-8a64-fca3d7b7f662","year":1986},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:47.873974Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:81b7e70b93cf614aae9ac52addf8df8e9c6925db62ac0db99ef32a7a170e37d9","observation_id":"6b4bc582-10d7-499c-8e65-bc58f0803642","resolution":{"observed_at":"2026-08-07T12:22:53.299184Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:52.961139Z","title":"Strong functors and monoidal monads,","venue":null,"work_id":"a3903f4f-0da1-4978-aa09-5340fbeef95c","year":1972},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:47.971634Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:f7b8198cb3f6b9799e5983ea904f8c2f6ce89eedc32cb0602f44e48310cbf604","observation_id":"438cf7ea-ce8a-4ff5-b84c-1b66bbbca4ae","resolution":{"observed_at":"2026-08-07T12:22:53.075304Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:52.763423Z","title":"Lectures on semantics: The initial algebra and final coalgebra perspectives,","venue":null,"work_id":"0c6cf5a0-6606-48b2-a42b-1e6e4c7a0b44","year":1997},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:48.058237Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:78afdef7be5bef5dde01a59d463ae541757bfc34cb30146cabb2190aa9f5e542","observation_id":"b11266f0-22dc-4198-bd3b-620f7968b70a","resolution":{"observed_at":"2026-08-07T12:22:52.862535Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:52.544122Z","title":"Functional programming with bananas, lenses, envelopes and barbed wire,","venue":null,"work_id":"5d8e1cd9-4101-444b-a98d-8e47684636f5","year":1991},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:48.131605Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:01ccd3f2c170f52067deecb509087f88a36af0f981d2a293b7b366712d62d5fc","observation_id":"831a344a-8803-497d-b091-68a382e14832","resolution":{"observed_at":"2026-08-07T12:22:52.647263Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:52.291604Z","title":"Nordstr ¨om, K","venue":null,"work_id":"7e4add10-fada-4417-beea-8e0813fa989f","year":1990},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:48.196508Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:250915a7c8437e28f004ad67daadf19b4169ef70ff9dc0da75c0d6a24d021913","observation_id":"31b16ef0-5540-4791-a163-26fe9e623c7c","resolution":{"observed_at":"2026-08-07T12:22:52.433530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:52.055044Z","title":"Generalised folds for nested datatypes,","venue":null,"work_id":"268c0e74-c5d1-49e0-ad23-e4849ed54117","year":1999},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:48.344646Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:9363cb23a372490fcddc2162e9502795703453b710d55f4e6b1ac1ee0fb3119a","observation_id":"38233192-242e-458a-999e-170244cc0f36","resolution":{"observed_at":"2026-08-07T12:22:52.181273Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:51.856326Z","title":"A fixpoint theorem for complete categories,","venue":null,"work_id":"24b8ca69-fba8-4fcd-8b91-3a38629b8248","year":1968},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:48.424677Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:30be74473065da13a2f90b2a3879c007c8f2f41643d66f674364f4f8bd735918","observation_id":"0e54c1be-3161-4414-9b27-a6f6bdfe0656","resolution":{"observed_at":"2026-08-07T12:22:51.956048Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:51.641686Z","title":"Substitution in non-wellfounded syntax with variable binding,","venue":null,"work_id":"9ec53c5f-bd3c-4cef-9dd9-825f75ac26a0","year":2004},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:48.543356Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:1c14e8386db379d3960f357aeca129d37fb770e1956527c95606a3bfdd6b08dc","observation_id":"b3ab8f21-2510-4e0b-8c42-d47c17a288c0","resolution":{"observed_at":"2026-08-07T12:22:51.735747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:51.419280Z","title":"Second-order and dependently-sorted abstract syntax,","venue":null,"work_id":"f11c9c13-57ff-4ed5-9f44-24a5e47d347f","year":2008},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:48.659842Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:8d44c39febd36c3dd4f6fb284b68b6619f650f8697f1b66291e0ae2103d77fc7","observation_id":"ef916a99-062b-4451-86c1-91330fbd5369","resolution":{"observed_at":"2026-08-07T12:22:51.556040Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:51.228849Z","title":"Second-order equational logic,","venue":null,"work_id":"79b5e17f-7596-43e1-bfed-1e640442948a","year":2010},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:48.739979Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:34c066118f7da9a706f7ada03d6d37b462bb913f234e3d2b165cf89a72084a0d","observation_id":"9e8faef4-3407-4a5f-9c8a-56fd3a4ff68b","resolution":{"observed_at":"2026-08-07T12:22:51.332598Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:51.038383Z","title":"Second-order algebraic theories,","venue":null,"work_id":"14e3a5ff-3b47-4651-bb8f-b2158c7282fd","year":2010},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:48.847021Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:372ecfc8b03861cccead0ba968d7589cbc1c7b52cfff6e92c2334c3146b2740d","observation_id":"4924c8c5-5405-4a7c-a3b5-1987804dd8d7","resolution":{"observed_at":"2026-08-07T12:22:51.139086Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:50.820405Z","title":"Substitution, jumps, and algebraic effects,","venue":null,"work_id":"4a350867-6b67-49e6-9f80-1dfa189afa68","year":2014},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:48.951704Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:ba92afa19b92689151c701ea36caf63a9f1f4b544d0005afa17758712d756902","observation_id":"be9f7be5-c4ed-4420-877e-f86b8c79fd26","resolution":{"observed_at":"2026-08-07T12:22:50.918054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:50.625065Z","title":"A finite algebraic presentation of Lawvere theories in the object-classifier topos,","venue":null,"work_id":"ada8114f-71ea-4501-b4fb-b1964297c41e","year":2025},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:49.036633Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:7d58410fadb06b8b08a064114452d65bf96708472e6092d5f9df2f72562911a8","observation_id":"3304a3cb-5d12-4a04-9d9b-3411a9ab80f1","resolution":{"observed_at":"2026-08-07T12:22:50.706408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:50.108031Z","title":"Lie structure and composition,","venue":null,"work_id":"63082e54-8030-4b06-b5d8-8c3cea6abce2","year":2014},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:49.122210Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:5d6f80e382c6893abc7dddfccda50017fb190f19933126990fa518bbf7a98e05","observation_id":"678bb563-291e-4969-a7dc-ad406bc176e0","resolution":{"observed_at":"2026-08-07T12:22:50.348533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:49.844110Z","title":"A fully abstract model for the π-calculus,","venue":null,"work_id":"3bd46c28-a9cc-4123-8044-67b0ba0ddf82","year":2002},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:49.214199Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:5cf68fe01b133898409fd0cb05ce06c32adda9117dc37f24c57de50ee890945b","observation_id":"d3a377c1-35d0-456f-b868-1be288abc888","resolution":{"observed_at":"2026-08-07T12:22:49.928212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:49.699454Z","title":"On the operads of J.P. May,","venue":null,"work_id":"a03471d6-c769-4826-96bc-ed11233d474b","year":2005},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:49.319282Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:ca044459337be7aea2cd9e50cb9699e04058d174793aed4b805bd177c6d3218e","observation_id":"01b566e4-6601-44a4-879f-8f49b8782ba6","resolution":{"observed_at":"2026-08-07T12:22:49.752618Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:22:49.535681Z","title":"Taut functors and the difference operator,","venue":null,"work_id":"49d02482-370d-4fa3-ba68-1e83a7c9d390","year":2025},"citing_paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T12:22:49.429027Z"},"links":{"citing_paper":"/paper/2505.24812"},"observation_digest":"sha256:686a0429eafa5a2bb1ba0a4528dd8e35efbb4c573598b16fc09a4a01aca685cb","observation_id":"cfafb2ee-04bf-4fb2-a117-1cbdbee9c321","resolution":{"observed_at":"2026-08-07T12:22:49.600966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.24812","last_updated":"2025-05-30T17:16:53Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T12:10:57.079093Z","submitted_at":"2025-05-30T17:16:53Z","title":"Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":31},"total_outbound_references":31},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2505.24812."}