{"as_of":"2026-08-17T14:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:475a49178f40571e34ad4460c37f0374f7fa9561a84112f984ab32a48dc3edcb","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-12T01:51:32.352402Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-30T16:20:49.319289Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.08990","snapshot_observed_at":"2026-07-30T16:20:49.319289Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23671","last_updated":"2026-07-29T12:50:04Z","snapshot_observed_at":"2026-08-15T04:19:06.428182Z","submitted_at":"2026-07-26T14:07:38Z","title":"Setoids in Intensional Type Theory","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-07-30T16:20:49.319289Z"},"links":{"cited_paper":"/paper/2605.08990","citing_paper":"/paper/2607.23671"},"observation_digest":"sha256:9bfb15da0d8309f642b73a801f3d01b625cb2bdff5be4de3e0393b93ece77278","observation_id":"0b416e7f-97a0-4637-8fb7-34addb3665ab","resolution":{"observed_at":"2026-07-30T16:20:49.319289Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2605.08990/citation-record","integrity":"/paper/2605.08990/integrity","json":"/paper/2605.08990/citation-record.json","paper":"/paper/2605.08990"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Abel.Normalization by Evaluation: Dependent Types and Impredicativity","venue":null,"work_id":"a194fdbc-b017-4f35-9aa6-e76d8a7c000d","year":2013},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:bb4d20547f90c2b489d5826a00bc95f89a26b188865490b774a6dc30c99c455b","observation_id":"1be6a527-f4a2-4548-a83d-cffd45d1cc30","resolution":{"observed_at":"2026-05-13T16:32:58.331447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2603.29716","last_updated":"2026-04-30T14:25:43Z","snapshot_observed_at":"2026-08-15T15:35:12.344549Z","submitted_at":"2026-03-31T13:16:11Z","title":"A Graded Modal Dependent Type Theory with Erasure, Formalized","version":2},"cited_work":{"arxiv_id":"2603.29716","doi":null,"metadata_source":"pith","pith_arxiv_id":"2603.29716","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A Graded Modal Dependent Type Theory with Erasure, Formalized","venue":"cs.LO","work_id":"16ab66ee-cfa7-4fec-b724-f35a2671614b","year":2026},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"cited_paper":"/paper/2603.29716","citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:ecec5f32cf68e9a65b015cb39991059fef467098643fcfdb9a284874419a8281","observation_id":"83166dfe-7611-42c5-a021-93341d6c01c3","resolution":{"observed_at":"2026-05-12T07:51:29.155889Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ddb2c4b8-71de-4f8d-bcd4-49bd984bb33e","year":2017},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:752fb2055c4ce10796b003441ef7ccbd06399210d15104938bb891d0e65dccd2","observation_id":"aa8e2cb4-e4ce-4092-8516-6f7ae560d455","resolution":{"observed_at":"2026-05-13T16:32:58.343802Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Altenkirch, M","venue":null,"work_id":"8d0e2b8f-5f06-477e-a7d5-05d8cfc5bbcf","year":1995},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:164ab573ed19c3cbffafed79e5508c04757de80c504ea41070c6ac15fb7d389b","observation_id":"6ec555a3-b683-47af-b056-84cfe5a63b30","resolution":{"observed_at":"2026-05-13T16:32:58.375838Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6c284c0a-b757-45cf-b4fd-7a5785f12620","year":2005},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:7cb71685deb11cbac2321ad172eb5799ff9b470fac0372e139a5e84709e661b0","observation_id":"e888e067-e4a4-4342-8fda-b20e92144d08","resolution":{"observed_at":"2026-05-13T16:32:58.329629Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1442d71b-6aa3-4b0c-b294-72f39c07f264","year":2008},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:6588f622e860ea98c3663ec2d388eada0942544d1fc6aa81462960bc118e0f47","observation_id":"114ad8a7-e157-4a17-aed5-1b902f8bf3ce","resolution":{"observed_at":"2026-05-13T16:32:58.367668Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Berger and H","venue":null,"work_id":"1936861d-6493-49fd-9896-269e46cdde48","year":1991},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:befc3d602e1a889da1222868322595da70afa993f8178318f915f90b0986ed31","observation_id":"f00f3315-8c68-4563-a3d8-4a9efaa5f7f7","resolution":{"observed_at":"2026-05-13T16:32:58.360433Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Charguéraud","venue":null,"work_id":"324b8307-767f-4fe5-a95b-eb64842f5c4e","year":2012},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:7d3c014a7c686ea1441f955e53cc1d82f6fa5ff497f3110a0ea9f125a4d47059","observation_id":"274ecd4d-d28d-4074-a14c-682fe9a6478b","resolution":{"observed_at":"2026-05-13T16:32:58.362121Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Cockx, D","venue":null,"work_id":"a6810f0a-05e8-431c-961d-54d9bb899980","year":2014},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:172c1479305bf7740f524490001416052ee4ef9091a789997adfda77867ddfe4","observation_id":"9e4e2822-91b9-4ad6-9eca-6d9c67cefffa","resolution":{"observed_at":"2026-05-13T16:32:58.354355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f2ad6af3-ab2b-4c3d-8c80-c0de1ebf7154","year":1992},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:e8aaa43e45bff3b67a1bc5284de6be17e861bedb390bb43b59ff1cbc858c1386","observation_id":"2897c8c9-276d-455f-a87c-3cc51e89baef","resolution":{"observed_at":"2026-05-13T16:32:58.349045Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5c1659f6-4876-4dfa-b800-b6eb9cc020a7","year":2025},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:6e178529864e7329e26828252ebfe4f311c93e84419f931208935c4d944ae997","observation_id":"ffdc2bfa-7781-4de2-b736-e975681f3b64","resolution":{"observed_at":"2026-05-13T16:32:58.334995Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"35a446be-dc22-4a2b-87d0-e15da413d1eb","year":1972},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:063bb5056804e95d82904656a410bc3b489485e8202ea1304691b29029b6b49a","observation_id":"de6db538-1fb0-4cac-a7f6-7137412de36b","resolution":{"observed_at":"2026-05-13T16:32:58.340510Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"de Moura and S","venue":null,"work_id":"c6c58f04-13fa-4268-abbe-136064f34bb2","year":2021},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:41f8ab7652894549724e4ff9c37f69a7d8448a2c9412682c381f3789c22cb5ff","observation_id":"9772dbfd-65f3-4ab6-b5c7-4f919fb7d310","resolution":{"observed_at":"2026-05-13T16:32:58.338815Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"456d1dff-0622-453b-b261-ebd616d3251b","year":1999},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:ef4b97305b625602d57c6afae1f445d7a036bc860774f66eb345993913b24b1f","observation_id":"37268385-753f-40f3-8809-dd20ce07a184","resolution":{"observed_at":"2026-05-13T16:32:58.322482Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Semantic analysis of normalisation by evaluation for typed lambda calculus","venue":null,"work_id":"327f6e2a-918c-494c-a2c0-221382517359","year":2022},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:6f4bf6ecfabc1394435d23b2baf950ff7d37b68c9565b5a0af9ef5716280b122","observation_id":"f085aab1-236c-4ed5-9986-74dc28d9eaec","resolution":{"observed_at":"2026-05-13T16:32:58.350876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3ae07619-6405-4341-a36e-7e1eb05b5340","year":2011},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:5a9f87ca97adfcb9e73a3967f77b691941489c30d39c4c528a4724cb6e4e4ea6","observation_id":"3aa506f7-288b-4251-9ec7-201c58906d60","resolution":{"observed_at":"2026-05-13T16:32:58.365950Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"87ca817c-834f-4ac0-b0f3-2edbad5c6e95","year":1958},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:ccf9c36cf6bda19185349d0276449888448dc2a023695bb4492da850e249f116","observation_id":"5c09ca90-d608-4e8f-bfc9-6411988175b6","resolution":{"observed_at":"2026-05-13T16:32:58.342162Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Goguen, C","venue":null,"work_id":"ca9b4fa4-1206-4507-907e-63566093cb8d","year":2006},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:13683c5cbd26ffd72345148adc9d65fb23a827cd3031f0cb5a01ede3b3dbd15a","observation_id":"cd7d9b1a-8c99-4309-bbbc-740549344ab4","resolution":{"observed_at":"2026-05-13T16:32:58.369970Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"065d6ac6-8ee7-4914-9228-e1c63a99fc6a","year":1994},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:6f4cee819eb4b38dc10891e450a176722e9650686206aba911994d83061072b3","observation_id":"25a8108e-3833-42fb-88d3-c5bb65f8aa37","resolution":{"observed_at":"2026-05-13T16:32:58.347051Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Harper.Practical Foundation for Programming Languages, Second Edition","venue":null,"work_id":"1c1eb70a-e305-407f-80f5-2b425627f672","year":2016},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:a64efb4e8e00457d9aca0c88b84e32fc35cc497e469e8edbf4e682c6d46ac6cf","observation_id":"9692707b-2e5f-4e3a-b970-49f4d0260efe","resolution":{"observed_at":"2026-05-13T16:32:58.358277Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"54f6810f-acc2-4a63-a2f6-4c3b847ff066","year":1998},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:d729ad55980108422f39d2614b00fbb857a732d715956d43037d21475d9b3927","observation_id":"ccdea847-3a34-4f27-a563-49892471f28a","resolution":{"observed_at":"2026-05-13T16:32:58.333109Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Martin-Löf","venue":null,"work_id":"cd71adf6-3f65-4620-a66f-70d0f7089b15","year":1975},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:69163737369eb1f626aa22acd67454bd166ded3e8738ad21993b7fd19d5e0a37","observation_id":"1fe9c740-8cea-4efe-8114-ca12d81ea9ad","resolution":{"observed_at":"2026-05-13T16:32:58.373631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Milner, J","venue":null,"work_id":"c0dc337c-3406-4f9f-86e1-37ea7f12f262","year":1992},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:10d74e1a9f1fb84835ac68310c225de15656df629407accda8d24ade65fbe0ac","observation_id":"0d2adbd8-beff-45f5-8aa5-060fec59845e","resolution":{"observed_at":"2026-05-13T16:32:58.324191Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Nipkow, L","venue":null,"work_id":"1748ae5b-aade-4bad-8af9-47a32257a722","year":2002},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:3d24244482b207da54098e8756ca19c181f38ecce620aaa3458e5c8c82d2a8e7","observation_id":"186c13ed-82fa-49fe-92b1-26a55402f20e","resolution":{"observed_at":"2026-05-13T16:32:58.345412Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Nordström, K","venue":null,"work_id":"c3cefd4d-a167-444d-b7ab-044a16221fdd","year":1990},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:cffb68fefe326148241cbb302f155b365ad434eaf7dbbf70ea8e9e62e3d2e559","observation_id":"8d29d285-7bd5-45fd-a65f-68320248dce0","resolution":{"observed_at":"2026-05-13T16:32:58.356498Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b565d966-52ab-4f9e-a2f2-4fd2ae97e7b4","year":2006},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:dfd9b91fd52c7e87272364bd3fca6159fdfdc48855ce43d731e3090c47be1d7d","observation_id":"b2db43a0-9c08-40d4-b44d-77ba397f8b25","resolution":{"observed_at":"2026-05-13T16:32:58.352622Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a8271f24-3ddb-4868-a3fe-97bf812f826a","year":2013},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:c91c76e271505f493f2187804e94d7ba977e61960ef69f9da580c61e5e6aedc4","observation_id":"a793b8fe-0d65-4a4b-88e9-25a55cca37e5","resolution":{"observed_at":"2026-05-13T16:32:58.325930Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8a9df48f-8751-420c-8b29-5814a1b197d9","year":2023},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:42eaa38ac4610a808f09ab8b4fa79d119716a21dbdead69f13ce33e5260055b6","observation_id":"cad48d91-1567-499c-bc35-84a1af1d2e6c","resolution":{"observed_at":"2026-05-13T16:32:58.363976Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Well-Scoped Locally Nameless Representation of Syntax","venue":null,"work_id":"ecc5aa46-9ad8-49e3-b9d9-e676c98d08d0","year":2026},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:7830a6c478262a3bee1601987aef0672b6339ca8c15da6a4fa5a8e0f17bafb55","observation_id":"c794e87f-6efa-41cd-a449-cc422eb916a4","resolution":{"observed_at":"2026-05-13T16:32:58.336830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a8c06b14-3edf-4533-b182-5149973464c7","year":1990},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:37f9b9126337e3a8cbf7a90585c280978922f53a9297f39678882c4e282a3d4f","observation_id":"8efd585e-3366-4e14-ac96-b1ced731a324","resolution":{"observed_at":"2026-05-13T16:32:58.327755Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9709bc54-1a30-47ad-9c97-b40b322d99dc","year":2022},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:aa636124c146fd8c3ce32d9d78e3a7ad1707121a75eb0a198aca549079c72031","observation_id":"bc86fd24-4f44-443d-823f-51b7e1a29f8b","resolution":{"observed_at":"2026-05-13T16:32:58.371851Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Sewell, F","venue":null,"work_id":"50b5feed-f10d-4171-be0d-438431c02185","year":2010},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:cd959155ef805c950573281fb7639fe6946687a80c253f0874a77e6ada7710b8","observation_id":"5ae7a1f6-dcbe-40ac-9d39-fcec9b2c65a2","resolution":{"observed_at":"2026-05-13T16:32:58.315239Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Stoughton","venue":null,"work_id":"e392677f-dff7-4cd3-a5f0-90a6234b3b69","year":1988},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:bcbf2253bd72f2ea6d46c927c1ce5561118e0f8da53292b86ecdf7c0a1c337b3","observation_id":"a73f21b9-f6a7-45a2-99f6-743b10eff929","resolution":{"observed_at":"2026-05-13T16:32:58.320428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"15c63c6c-13fa-449a-a86c-51a8c044b973","year":1967},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:f6ee843318a065825b8cb4465b89ba87ecd43bd3ce74572bcb949c32e7ccfb07","observation_id":"14f6d6c9-7345-481f-aec6-45c26ac9a817","resolution":{"observed_at":"2026-05-13T16:32:58.311049Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"Agda, version 2.8.0, July 2025","venue":null,"work_id":"e490b3c9-07d9-4f54-a5a1-5d6c0d18fd85","year":2025},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:82ecc2e5f85de2a7badaff12ba4ad0911d979919c9386f8f5676a664c4b9b331","observation_id":"2330d90a-bf18-4598-a6c9-163968c1550c","resolution":{"observed_at":"2026-05-13T16:32:58.318739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":"The Rocq prover, version 9.0, March 2025","venue":null,"work_id":"1e29ec37-d593-4c32-ad69-dfd8777cfc14","year":2025},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:8a40147862a510c70018a03d42afe6db097916a88319f9e714cec5e6184529ea","observation_id":"76a1796d-08e8-42e0-af86-40bcb8cf53ba","resolution":{"observed_at":"2026-05-13T16:32:58.313258Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7c677afe-0527-45f7-84ef-0798979188a7","year":2013},"citing_paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-12T01:51:32.352402Z"},"links":{"citing_paper":"/paper/2605.08990"},"observation_digest":"sha256:7f540ff33851318b55b2773620faae8e03da5b5ef92e15ee9c9f9010218adf4b","observation_id":"824cbb79-972b-4652-8abd-383c114cb87b","resolution":{"observed_at":"2026-05-13T16:32:58.316990Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.08990","last_updated":"2026-05-09T15:17:47Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-11T12:39:50.509111Z","submitted_at":"2026-05-09T15:17:47Z","title":"Well-Scoped Locally Nameless Representation of Syntax"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":1,"verified_fuzzy":18},"total_outbound_references":37},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2605.08990."}