{"as_of":"2026-08-16T06:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e390516584055b1056ff3e09295b12c17e79086358a41a07f032a86f8e6a1f62","coverage":[{"denominator":19,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":19,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:35:22.051542Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.04921/citation-record","integrity":"/paper/1908.04921/integrity","json":"/paper/1908.04921/citation-record.json","paper":"/paper/1908.04921"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2014.10.005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.304784Z","title":"Information and Computation 241, pp","venue":null,"work_id":"e7faaae4-5d01-411e-a8b1-65fbc3bafa94","year":2015},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:21.959013Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:f780dceec5ba6ce0e34a732fc662b47a1cf4d3b79c76d1388234066f210d46f9","observation_id":"e5021b86-4f46-462b-989b-d35cb2ca05a6","resolution":{"observed_at":"2026-08-14T13:35:22.309643Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2018.05.005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.288298Z","title":"Information and Computation 261, pp","venue":null,"work_id":"66c0130d-c7f5-497b-8068-23de5d828fd6","year":2018},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:21.964650Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:bc45b0458bedec8596d87cc28f6cdc60be55b1d6af196af6c4920993dc58b7fe","observation_id":"c48cbfe8-16ee-4f52-970b-b5c38c171cf3","resolution":{"observed_at":"2026-08-14T13:35:22.293760Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.csl.2018.9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.267906Z","title":"In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), pp","venue":null,"work_id":"06f3de0c-d5b1-4fd1-94f3-05f938126618","year":2018},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:21.969800Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:6e7aaec0a584e64672776a0a4879eef865275ea166407197d0b9a5643ad1265d","observation_id":"ca7503ae-6952-4689-936b-09684524c5cd","resolution":{"observed_at":"2026-08-14T13:35:22.274036Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-54830-7_7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.249455Z","title":"In: Foundations of Software Science and Computation Structure s (FoSSaCS’14) , pp","venue":null,"work_id":"f92b2ebc-f8cc-4ef8-b947-6b08635f0002","year":2014},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:21.974759Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:76b87177019d02b4a7219dbeb12f322fbd7f1ef554b67dcbd0a6f4fc7d0483c7","observation_id":"1bce9175-3740-49d0-acad-ef4b83744281","resolution":{"observed_at":"2026-08-14T13:35:22.255602Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129506005421","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.230414Z","title":"Mathemat- ical Structures in Computer Science 16(4), pp","venue":null,"work_id":"d34264aa-06ab-4777-89a1-7e773840c862","year":2006},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:21.980166Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:8e952b027b7cea422ed68c7c3eb10677e450790e38472d7d3dd4990769408048","observation_id":"98734f60-9e6f-4a50-8902-2479c6907306","resolution":{"observed_at":"2026-08-14T13:35:22.236616Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0890-5401(03)00010-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.213480Z","title":"Information and Computa- tion 183(1), pp","venue":null,"work_id":"f9d1bfde-1692-43b7-b640-1947e9ec4cc3","year":2003},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:21.985738Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:4928af849b91c0d7c5b57fd87bd2419cec92b47ec4f0a09aa8760bf00d4416d5","observation_id":"fc887512-d9e5-4754-b642-f93ae53c2fc9","resolution":{"observed_at":"2026-08-14T13:35:22.219239Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2168/lmcs-4(4:5)2008","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.196687Z","title":"Logical Methods in Computer Science V olume 4, Issue 4, doi:10.2168/LMCS-4(4:5)2008","venue":null,"work_id":"dc441536-4f07-4d25-b7dc-96a5c04dabc3","year":2008},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:21.991424Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:995c7f7b5154d1ccae5090618a7c0bde8dcc41299958f7d42ae7e24e34efd427","observation_id":"45433d35-9d8e-48b6-b243-6e6309f3281a","resolution":{"observed_at":"2026-08-14T13:35:22.201870Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4450.29844","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.480670Z","title":"ACM SIGLOG News 3(3), pp","venue":null,"work_id":"483885ff-dc29-46ec-ae4b-122d358dd172","year":2016},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:21.995978Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:179b52fbce2f6ab5bad966bec44c2139f9e6a59e5ddedb51a8e54faa38b82c48","observation_id":"4720c269-4d16-4b76-a53b-455e75a65a67","resolution":{"observed_at":"2026-08-14T13:35:22.489244Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.000796Z","title":"Information and Computation 143(2), pp","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:22.000796Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:b0d60424a1ac2282e98746b6b1ba0656cc5aaff42a6061e5876bf4e02e4af44d","observation_id":"f71b8efd-ec33-46b3-bf27-ca2234c9ebc8","resolution":{"observed_at":"2026-08-14T13:35:22.000796Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.519521Z","title":null,"venue":null,"work_id":"1a9a681e-b85f-4850-a5ea-376b9e4d0311","year":2016},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:22.005581Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:cdfc4043b64fd64e8060c08ccf00daf2f16d1be5670c71f1a16701441eac4326","observation_id":"73573a51-2e2d-44b3-be5b-c369928113e3","resolution":{"observed_at":"2026-08-14T13:35:22.525587Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-48057-1_20","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.179773Z","title":"In: Mathematical Foundations of Computer Science 2015 - 40th In ternational Symposium, MFCS 2015, pp","venue":null,"work_id":"92bd7eec-cfcf-4c03-b560-7584111c01c9","year":2015},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:22.010317Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:77c85bf6cd45486510e06974b171d620232174f2a8685575af8057dc3084dfa6","observation_id":"be1cfcce-03c6-4dd7-b371-7381d7d5f4f0","resolution":{"observed_at":"2026-08-14T13:35:22.185297Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.015400Z","title":"Elec- tronic Proceedings in Theoretical Computer Science 292, pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:22.015400Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:67bf5872d8ef06d061b4ce75b49cc5a6bdd1f1818c62bbc4e634b8bd0e8f80c1","observation_id":"7589d84e-ef85-43a1-9523-720ee97d2651","resolution":{"observed_at":"2026-08-14T13:35:22.015400Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.500648Z","title":"Hillebrand (1994): Finite Model Theory in the Simply Typed Lambda Calculus","venue":null,"work_id":"c7dc3501-fef7-4a13-b0e7-7f995175ddef","year":1994},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:22.020354Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:30a342c2f1c516605e7835197f549cebd69f9a6b43fa134b59081ca79c7e6cee","observation_id":"71088823-95c2-47e2-8686-4bb46567da3b","resolution":{"observed_at":"2026-08-14T13:35:22.506886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lics.19","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.145790Z","title":"Hillebrand & Paris C","venue":null,"work_id":"4d742939-0a9d-446a-9f8f-dfcbae4d6c00","year":1996},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:22.024784Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:eec77bb3e7a5adcf714d30db3b80bf624a9f71e0aa8529682afdb876106208e9","observation_id":"481a655c-238c-445a-a6e8-36471f84aec4","resolution":{"observed_at":"2026-08-14T13:35:22.155298Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1902.00196","last_updated":"2019-05-13T05:13:20Z","snapshot_observed_at":"2026-08-14T17:22:35.046469Z","submitted_at":"2019-02-01T06:18:14Z","title":"Around finite second-order coherence spaces","version":3},"cited_work":{"arxiv_id":"1902.00196","doi":null,"metadata_source":"pith","pith_arxiv_id":"1902.00196","snapshot_observed_at":"2026-08-14T13:35:22.327666Z","title":"Around finite second-order coherence spaces","venue":"cs.LO","work_id":"cb5ffcc3-763e-4e9f-b1ec-8cc35c3d4976","year":2019},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:22.030270Z"},"links":{"cited_paper":"/paper/1902.00196","citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:ebbc400c7143bdb45f761d589f77db59fefcd57aed0c0447ebd448f78756ab3d","observation_id":"351252ff-38c6-4edc-b341-b55af6404d39","resolution":{"observed_at":"2026-08-14T13:35:22.333415Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.035386Z","title":"In: 46th International Colloquium on Automata, Languages and P rogramming (ICALP’19) , pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:22.035386Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:eea690499a571c1a01aacdefa430bd6a05bbec3b9df99205ccef5826fd055286","observation_id":"5e4ce971-88c1-4f7d-aeb5-dc994df1e615","resolution":{"observed_at":"2026-08-14T13:35:22.035386Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(94)90012-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.119107Z","title":"Theoretical Computer Science 126(2), pp","venue":null,"work_id":"93de5ee4-856d-4c61-977e-025f68daedea","year":1994},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:22.041279Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:db83628c34611257a5c74318516c77c6d26ee253d571be9ef45195e600916e95","observation_id":"8ad0bb00-dbf2-4435-a40f-70abb61bd010","resolution":{"observed_at":"2026-08-14T13:35:22.124172Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-32033-3_17","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.101220Z","title":"In: 16th International Conference on Term Rewriting and Applic ations (RTA’05) , pp","venue":null,"work_id":"18f4026e-37d2-40ba-818c-07837f7f5904","year":2005},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:22.046399Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:691fe5e4094e6a1e8da0a02b90b5816b66426cb9e943589afa6252e097a91764","observation_id":"a693087d-4907-4ccd-b83c-a3e95f830339","resolution":{"observed_at":"2026-08-14T13:35:22.107515Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.rta.2012.323","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:35:22.083425Z","title":"In: 23rd International Conference on Rewriting Techniques and Applications (RTA’12), pp","venue":null,"work_id":"52e66f2a-e10c-4933-ac79-233df5dfcead","year":2012},"citing_paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T13:35:22.051542Z"},"links":{"citing_paper":"/paper/1908.04921"},"observation_digest":"sha256:36b441c2e147a8356378d2e8e71d6392079f689cb507acfe44fd98c7d2ec0857","observation_id":"cb3d3b26-5ce6-4e11-b142-6a9f421e4a8f","resolution":{"observed_at":"2026-08-14T13:35:22.090176Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.04921","last_updated":"2019-08-14T01:57:27Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-14T13:26:30.015265Z","submitted_at":"2019-08-14T01:57:27Z","title":"On the Elementary Affine Lambda-Calculus with and Without Fixed Points"},"reference_resolution":{"displayed":19,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":3,"verified_exact":13,"verified_fuzzy":1},"total_outbound_references":19},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 0 inbound Pith citation observations for arXiv:1908.04921."}