{"as_of":"2026-08-11T03:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f95909a1c77052f7f59d54794b4e485f37b2bdbb526ecf8b18257395e42a6612","coverage":[{"denominator":94,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":94,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:42:46.502165Z","state":"measured"},{"denominator":94,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":94,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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.14482/citation-record","integrity":"/paper/2505.14482/integrity","json":"/paper/2505.14482/citation-record.json","paper":"/paper/2505.14482"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:37.764237Z","title":"Call-by-push-value,","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:37.764237Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:6d32f4d9e89e2bbee6eefccd1a1692375dc32e3e5d26cbb5a9396788e28ca521","observation_id":"34c40af2-a9db-4a4b-adcd-f0a9e0d7869b","resolution":{"observed_at":"2026-08-07T15:42:37.764237Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:37.845854Z","title":"Springer Netherlands, 2003","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:37.845854Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:345c32a82f70f6dc3c32512f9c3751282329fc7a01b6d8ee4b0b5f4b0c9e3ba6","observation_id":"b9ae39e8-aba9-4102-abf0-7736f8d08060","resolution":{"observed_at":"2026-08-07T15:42:37.845854Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:37.927450Z","title":"Fibrations, logical predicates and indeterminates,","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:37.927450Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:208b1158bd64613f7bb930c16ace40b38954048e89176013a25bee4f445bcdee","observation_id":"2aa930cb-b8ee-4c97-b4c3-a5aadf92bef6","resolution":{"observed_at":"2026-08-07T15:42:37.927450Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:38.028936Z","title":"LCF considered as a programming language,","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:38.028936Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:104eac71b2e73ae2eff57264bc4057759bf378dc621698082d7ad445d9d7adff","observation_id":"f81491b8-fe26-4c9d-8ecf-e8e88a6ca9ab","resolution":{"observed_at":"2026-08-07T15:42:38.028936Z","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":"10.1017/cbo9780511525902.015","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Reasoning about sequential functions via logical relations,","venue":"Cambridge University Press eBooks","work_id":"837bb546-1ba5-4eac-9540-9b2a11c9546a","year":1992},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:38.154510Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:cde6976dfbdd7b1f70dea5e762074913b0deb0b08a210fade1a92f2c36fa556f","observation_id":"7da088e7-f765-43af-a1a4-1b8f90c7af97","resolution":{"observed_at":"2026-08-07T15:42:51.308376Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:38.264512Z","title":"An indexed model of recursive types for foundational proof-carrying code,","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:38.264512Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:228066d4ff9634f26061243c02ee7fd73897fc779311ee0809bf884c14724c95","observation_id":"54aa991c-5521-4e31-b951-03444cf47642","resolution":{"observed_at":"2026-08-07T15:42:38.264512Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:38.371274Z","title":"Step-Indexed Biorthogonality: a Tutorial Example,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:38.371274Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:1bce1f0386eb6719a591abafd7e2f0f00647d19c0209ca2d05f5068921711531","observation_id":"5255ac27-d9f5-4c22-9b91-078455a2f0cb","resolution":{"observed_at":"2026-08-07T15:42:38.371274Z","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.2168/lmcs-7(2:16)2011","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Logical step-indexed logical relations,","venue":"Logical Methods in Computer Science","work_id":"a564a587-9221-45c0-b44a-9470ba1c636d","year":2011},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:38.449313Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:bc3c4ebd5693ea9149701605a7050436085463e52f936993f73d912d7014f148","observation_id":"08b0f6bf-2d2c-4cd4-9949-a4fabc930545","resolution":{"observed_at":"2026-08-07T15:42:51.138028Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-55511-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Types, abstraction, and parametric polymorphism, part 2,","venue":null,"work_id":"4bc1d6bf-9be0-4b34-a021-62fb6c8b981c","year":1992},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:38.536171Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:140d8fe92b4341bdae4424cf0bb9bd4c9914d2bc0471d8955b93ab14b9c4295c","observation_id":"f853d253-0802-4036-8bf2-b798c620afda","resolution":{"observed_at":"2026-08-07T15:42:50.958149Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:38.659826Z","title":"Notes on sconing and relators,","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:38.659826Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:5e373c38eff782a9c58c37c9d085ed1a2b41987994547d345fc3931e7e2eb715","observation_id":"e045918b-1c35-457c-a6e6-6a2b1053425c","resolution":{"observed_at":"2026-08-07T15:42:38.659826Z","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":"10.1007/bfb0037110","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"A new characterization of lambda definability,","venue":"Lecture notes in computer science","work_id":"046f334a-3401-4d81-8b0b-cc3776ade679","year":1993},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:38.830371Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:586647b97108ca4324008f7e39f92ba819fb23a0fda8188bb3be7c24c0d44a0b","observation_id":"8892632a-cb6a-4e18-a19c-a32c4ae9074c","resolution":{"observed_at":"2026-08-07T15:42:50.584741Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(94)00283-o","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"A characterization of lambda definability in categorical models of implicit polymorphism,","venue":"Theoretical Computer Science","work_id":"e4499224-0570-4466-9e49-8e5e9d5e547b","year":1995},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:38.941508Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:a6938cadd9c303ccd643c2f7393127997fb04a07d4b707d8ee70e900f126a7d4","observation_id":"110d6b98-efdb-4262-9555-83a063dd1df2","resolution":{"observed_at":"2026-08-07T15:42:50.395747Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:38.995022Z","title":"Jacobs,Categorical Logic and Type Theory, ser","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:38.995022Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:f4e3837dbaff974c10b33574cb8e48b753e5feae3fd10790e36f192596e38e34","observation_id":"a878be5c-e059-4a7e-990f-ea45e8c3ee50","resolution":{"observed_at":"2026-08-07T15:42:38.995022Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:39.094824Z","title":"A characterisation of lambda definability with sums viaJJ-closure operators,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:39.094824Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:beae917f387f2252e64826ec052a982cf2b29cdd2e173679711b223f88b25c41","observation_id":"cd5feba4-8170-4b6e-8bc5-dcd631cec24e","resolution":{"observed_at":"2026-08-07T15:42:39.094824Z","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":"10.1016/j.ic.2012.10.014","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Relating computational effects byJJ-lifting,","venue":"Information and Computation","work_id":"9e53ab34-da4e-4976-8728-253fceab7245","year":2013},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:39.212745Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:830e3775343b9e852e26ee2a8a957877a38910fefcffa364b2fbf7a502565966","observation_id":"d43225e2-f98c-47c0-a543-1da7f17f1c18","resolution":{"observed_at":"2026-08-07T15:42:50.123640Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:39.299909Z","title":"Notions of computation and monads,","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:39.299909Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:5bf3acef19cee6ab1f848365dda05b2993024140c59fe9f80bed4980e19a76c0","observation_id":"c8131dba-c181-48be-acab-a9dff9f8142e","resolution":{"observed_at":"2026-08-07T15:42:39.299909Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:39.390477Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:39.390477Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:f1d5b1212d863e5c07698ca3728d14beaa47827a292d7df5623def6dd57cfa68","observation_id":"fd822e2e-9fee-4874-a140-d809410ed0ef","resolution":{"observed_at":"2026-08-07T15:42:39.390477Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:39.580119Z","title":"Logical relations for monadic types,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:39.580119Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:81c859d00a2588bb9e767404fa002b7d6cd1a307db0e5b424bce2485b92493cc","observation_id":"f5cd6c63-d486-4154-8c9b-e67f60bd933b","resolution":{"observed_at":"2026-08-07T15:42:39.580119Z","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":"10.1017/s0960129508007172","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Logical relations for monadic types,","venue":"Mathematical Structures in Computer Science","work_id":"196c88bc-da2b-4984-a918-f4746d3b47aa","year":2008},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:39.678784Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:e0069eef95953cb7c95033aa1df91d68d7ee6b9406c0e47157e6501c849014ba","observation_id":"623b8dd1-aa1b-44bf-9ca0-d48bb60cf0d8","resolution":{"observed_at":"2026-08-07T15:42:49.644746Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11538363","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"A semantic formulation ofJJ-lifting and logical predicates for computational metalanguage,","venue":null,"work_id":"a89573e7-b2d8-45ac-9f20-87e5fade1888","year":2005},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:39.770553Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:77828644f952b3fa3875be68f79ce1071a23576aebfa0afe8b00152fc6a36e47","observation_id":"3e18b8a7-ab82-4c68-a6c8-e658638758fa","resolution":{"observed_at":"2026-08-07T15:42:49.426192Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2018.11.012","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics,","venue":"Electronic Notes in Theoretical Computer Science","work_id":"df89126b-b391-4459-9cf0-6b98b51919d3","year":2018},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:39.860644Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:8f4ec1f8a705b8d84cb558dc6516677a2d9e7b3edc7fbc346812f7360bedc4bb","observation_id":"4f37c33c-5064-469a-ab0c-dc97cc5ec4c1","resolution":{"observed_at":"2026-08-07T15:42:49.265073Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:39.970470Z","title":"Codensity lifting of monads and its dual,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:39.970470Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:a8463f2ebfb67de241673468ce401d9a03e6f32b8ca367db2bbb2c90ad98ab47","observation_id":"fc5a925e-33cf-415b-ac4f-2e50904a893a","resolution":{"observed_at":"2026-08-07T15:42:39.970470Z","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":"10.1145/3498705","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Fully abstract models for effectfulλ-calculi via category-theoretic logical relations,","venue":"Proceedings of the ACM on Programming Languages","work_id":"381eb40e-579d-45b5-a617-b4164a8d7eed","year":2022},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:40.135317Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:7caae2bde9a6ab3bddc71a6ae6c7bb2cc49644f1d79316405ab4c031c6bbdd99","observation_id":"fa204dbf-569a-4616-b65d-9206f88ecc4f","resolution":{"observed_at":"2026-08-07T15:42:49.062632Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01304852","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"Strong functors and monoidal monads,","venue":"Archiv der Mathematik","work_id":"7d943e37-c2ba-49bc-a26b-24c0e93ce834","year":1972},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:40.192851Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:816849b6505fd316e4163417bfa1099d1d1d4ccaffe6e4a4b20003996630871a","observation_id":"24bc0ac3-e1e6-4da4-86da-d16f1630c9a5","resolution":{"observed_at":"2026-08-07T15:42:48.798425Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:40.246519Z","title":"What makes a strong monad?","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:40.246519Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:1b2b6c29f0ed50f0b8b99328a5bd440e7f62723476b898496e8c93d1d8e62d9d","observation_id":"fe590f4f-7a72-4c77-8e06-bc6b83637699","resolution":{"observed_at":"2026-08-07T15:42:40.246519Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:40.350161Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:40.350161Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:8586f11c0f8df4ddac39d160f14928104d117877fcf7799eb086e53a3b19e6f0","observation_id":"63d20bd2-f45f-4d1f-a003-6b7dbdf0b74a","resolution":{"observed_at":"2026-08-07T15:42:40.350161Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:40.436127Z","title":"Artin glueing,","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:40.436127Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:6b5b2156065dc7d74eed99f8dfbfb9d193b85bed0c3febf7bff8556feb4a715b","observation_id":"63122e94-9648-471f-a4ec-ead1c9e0e860","resolution":{"observed_at":"2026-08-07T15:42:40.436127Z","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":"10.1017/s0960129503004080","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Connected limits, familial representability and artin glueing,","venue":"Mathematical Structures in Computer Science","work_id":"7dd028da-9b94-4644-8b33-d830f4d023e3","year":1995},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:40.537680Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:81215d96a7bc5d2e13629d8b7ea2ea983c65dccad16dca5061824c2f62108045","observation_id":"e88c79bb-d913-4ddd-8e1d-05250d7825c7","resolution":{"observed_at":"2026-08-07T15:42:48.639464Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.16351","last_updated":"2024-09-10T10:09:44Z","snapshot_observed_at":"2026-08-10T16:28:19.109342Z","submitted_at":"2022-03-30T14:29:46Z","title":"Actegories for the Working Amthematician","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.16351","snapshot_observed_at":"2026-08-07T15:42:40.660214Z","title":"Actegories for the working amthematician,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:40.660214Z"},"links":{"cited_paper":"/paper/2203.16351","citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:2ba3b3cc74fe45ce63b8bc33f54f1f503b3c6d2b0234db70d63e297ff7f4c0d6","observation_id":"812c7b8d-871c-4f02-8d79-0294332ec9fb","resolution":{"observed_at":"2026-08-07T15:42:40.660214Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:40.760085Z","title":"The formal semantics of computer languages and their interpretations,","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:40.760085Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:bdceede10ddaedefbbdfe1647bce1f7628a6d097d45c23e700f9c67e17f49b25","observation_id":"e7eaab01-b360-40a8-8095-e650e650926d","resolution":{"observed_at":"2026-08-07T15:42:40.760085Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:40.867304Z","title":"Framed bicategories and monoidal fibrations,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:40.867304Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:e0cab7b3d5418e9e226193579718db4c9955ecc7c0899455ed81e9df25dc8d8f","observation_id":"89884328-cc57-4457-a1fd-8362bb106045","resolution":{"observed_at":"2026-08-07T15:42:40.867304Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:40.974098Z","title":"On enriched fibrations,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:40.974098Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:092624845586372f0d70b5b59a633b7400f1aea6c854016c135d1ca83f973d4f","observation_id":"26efad50-1f73-4784-87a8-6944a8bf7693","resolution":{"observed_at":"2026-08-07T15:42:40.974098Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:41.081577Z","title":"Monoidal Grothendieck construction,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:41.081577Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:5e3b2a9151125071467bd8c9d7fdccd9b231d1ff535468a5efcc8a68d15c8e83","observation_id":"89cd3352-7512-4cb0-94b9-b94a174bb4ec","resolution":{"observed_at":"2026-08-07T15:42:41.081577Z","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-07T15:42:58.523080Z","title":"Logiques, cat ´egories et machines,","venue":null,"work_id":"8bbb7624-9e44-4845-aafe-76fbf1bb2886","year":1987},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:41.262862Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:498a850e054c1f94b50204afd6eebaec927b8e60ab21b72e447800bacb61285b","observation_id":"29f97809-87b1-4863-95b4-fa89169ed1d9","resolution":{"observed_at":"2026-08-07T15:42:58.636319Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1157.57116","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:52.095578Z","title":"Semantic analysis of normalisation by evaluation for typed lambda calculus,","venue":null,"work_id":"779df707-20c1-4b64-84fa-52e2fc83c062","year":2002},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:41.385695Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:bd1ea616af227aa48f56ef53da8a865c1d1c018cb734c5b63060d1d55d819e0b","observation_id":"a5087756-aad3-4171-bb6f-edb85a42ad6a","resolution":{"observed_at":"2026-08-07T15:42:52.225264Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:41.488093Z","title":"Towards a mathematical operational semantics,","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:41.488093Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:f96e6e7007fed4f938268dc4dde96e8da02cbdd480896a7e9f22f821dd777d02","observation_id":"34d7e60a-ef07-49e4-b046-9cbddb4af1df","resolution":{"observed_at":"2026-08-07T15:42:41.488093Z","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":"10.1007/978-3-031-57231-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"Goncharov, A","venue":"Lecture notes in computer science","work_id":"7cf51571-fd5e-4571-ac85-33ff8fc26b65","year":2024},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:41.686796Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:5b8912954ea317d4f4f35aa54d0fa2d93f6f427c9f61e831cfccfcdecda7cb14","observation_id":"f39aa5d1-fcb2-41d0-96ee-98c3824a40c0","resolution":{"observed_at":"2026-08-07T15:42:48.371219Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:58.123703Z","title":"Bialgebraic reasoning on higher-order program equivalence,","venue":null,"work_id":"584e56c1-7efc-4659-9e97-e86cb0918bd8","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:41.808622Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:6c877ccfe26df055ff70260f789744e3972604f49788ed7ca9d208ab43f6a81b","observation_id":"40ece80e-2d2b-4594-8260-5d491e4ae415","resolution":{"observed_at":"2026-08-07T15:42:58.357054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:57.857846Z","title":"Abstract operational methods for call-by-push-value,","venue":null,"work_id":"94f65f3b-91c3-4b7d-8420-ad4f425e28f2","year":2025},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:41.946311Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:c0c60b9196f73bd7a5bc97b4cc8dac81d8075084594bee2ed5f20500aa99f32e","observation_id":"f8a90c48-8696-48a8-9d38-19141e96a469","resolution":{"observed_at":"2026-08-07T15:42:58.015658Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:57.653455Z","title":"An algebraic theory of type-and-effect systems,","venue":null,"work_id":"84b50b55-9025-4e19-b702-a324682a7bdf","year":2014},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:42.032178Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:735513ef2a26801db576af9b225a542954a0ac621d07cb70df996b3a2aca67fb","observation_id":"6d76dd26-681c-42b0-8f66-dd2e028568c7","resolution":{"observed_at":"2026-08-07T15:42:57.723650Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48456/tr-948","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Reasoning about effectful programs and evaluation order,","venue":"CL Technical Reports","work_id":"4fa9073b-b410-4be0-936a-1a03c0ebecd3","year":2020},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:42.110353Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:5f0cb2c2b1b404f2d872cf15afb14ebef2e5ce2a79a696eb8e43d35394ecd553","observation_id":"6c82d1a2-82ae-46d1-bc19-e74979ffe7f2","resolution":{"observed_at":"2026-08-07T15:42:48.136303Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:57.360520Z","title":"Denotational foundations for expected cost analysis,","venue":null,"work_id":"ba9ee62b-984e-48b3-a813-8875b13e15b9","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:42.215896Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:741b9a83757366afbdba56ba440fad237bc504b7747f2ffb8e132dbb0d23637c","observation_id":"e9901b74-e51c-4730-a28d-4d390e93cfc6","resolution":{"observed_at":"2026-08-07T15:42:57.469235Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:57.067376Z","title":"Borceux,Handbook of Categorical Algebra, volume 2","venue":null,"work_id":"a7e99cb1-6c3b-4484-bd4a-55b755cd758c","year":1994},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:42.409799Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:cffd470d5c713b27dc158ce4a96079759c709d73035e90aab085bf3f4a47874b","observation_id":"74072314-f917-4aa4-878c-0862869f8eb0","resolution":{"observed_at":"2026-08-07T15:42:57.231243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:56.924054Z","title":"V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases,","venue":null,"work_id":"b54633fc-61ce-485f-bcdb-cd57dafbcb90","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:42.505561Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:e481a536d99b4541511607662de309e8d77e93364fbe6a6383f3071364d36d49","observation_id":"bfe5b71c-1df4-401e-a128-a5482e472506","resolution":{"observed_at":"2026-08-07T15:42:56.971687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"math/0305049","last_updated":"2003-05-02T17:22:28Z","snapshot_observed_at":"2026-08-05T18:14:41.323400Z","submitted_at":"2003-05-02T17:22:28Z","title":"Higher Operads, Higher Categories","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"math/0305049","snapshot_observed_at":"2026-08-07T15:42:42.684505Z","title":"Leinster,Higher Operads, Higher Categories","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:42.684505Z"},"links":{"cited_paper":"/paper/math/0305049","citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:0d61e830b61409f3498682531ba777c66951be631338d3508432231947b8b49a","observation_id":"a52ced6f-a1ca-4f64-97bf-823c3aad4ff9","resolution":{"observed_at":"2026-08-07T15:42:42.684505Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.06055","last_updated":"2020-06-17T23:10:47Z","snapshot_observed_at":"2026-07-06T08:57:20.804732Z","submitted_at":"2020-02-14T14:37:48Z","title":"2-Dimensional Categories","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.06055","snapshot_observed_at":"2026-08-07T15:42:42.771356Z","title":"Johnson and D","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:42.771356Z"},"links":{"cited_paper":"/paper/2002.06055","citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:25fc1eb0977e7ac55cf98603638661a901c68db77aa7402ec2bcf04a93e0d08a","observation_id":"4b53c0c1-d513-4b8f-b03c-141781a7958d","resolution":{"observed_at":"2026-08-07T15:42:42.771356Z","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-07T15:42:56.753043Z","title":"Eine Bemerkung ¨uber Monaden und adjungierte Funktoren,","venue":null,"work_id":"b5607e5d-e72c-4f5b-8618-ea59e5fac30d","year":1970},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:42.846085Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:bc8ad2309199a2c7af0f24eaf7505c7829cd81f7fca62313bd8db20556d5dec6","observation_id":"502eaec9-4034-4374-b6cb-466acf475a9b","resolution":{"observed_at":"2026-08-07T15:42:56.804622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:56.632980Z","title":"Adjonctions et monades au niveau des 2-cat ´egories,","venue":null,"work_id":"85170786-ba7a-4076-8a45-b7878324cc6d","year":1974},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:42.956848Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:9017c0ce3a2a2807e774cacea59a170fcae3eec5f73728f92830ae2e6ae3cef6","observation_id":"fcd8b188-287f-4557-a033-2c6129cd268e","resolution":{"observed_at":"2026-08-07T15:42:56.683980Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:56.493695Z","title":"The free adjunction,","venue":null,"work_id":"7b848a2d-8251-4cae-955f-1b50e1ca0948","year":1986},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:43.092084Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:205e54ef8c415031cd93e012913faff21974e6cc7cbca9f92cc6b0a65344f3d0","observation_id":"8d53a635-b918-4f9e-947c-281201641965","resolution":{"observed_at":"2026-08-07T15:42:56.540646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0022-4049(81)90021-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Conspectus of variable categories,","venue":"Journal of Pure and Applied Algebra","work_id":"2965a85f-2c79-4acb-b840-ff6638109b88","year":1981},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:43.184840Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:041280a3f903fa866c00b8be93cb16e197b0a717d66ac3e68fd3038bfce0f971","observation_id":"73901b75-5386-448c-9849-d9cdb8e95355","resolution":{"observed_at":"2026-08-07T15:42:47.425159Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18557","last_updated":"2026-05-06T20:43:43Z","snapshot_observed_at":"2026-07-06T20:42:37.899256Z","submitted_at":"2025-02-25T18:59:25Z","title":"V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases","version":3},"cited_work":{"arxiv_id":"2502.18557","doi":"10.48550/arxiv.2502.18557","metadata_source":"pith","pith_arxiv_id":"2502.18557","snapshot_observed_at":"2026-08-07T18:16:16.850658Z","title":"V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases","venue":"math.CT","work_id":"07dd9dfe-59f4-4f8e-9b0f-d6b104676f6e","year":2025},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:42.589388Z"},"links":{"cited_paper":"/paper/2502.18557","citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:92c84a57e23446a6224ed49872e46825ca62bf04a100c34d8e7669ff10ad2b1d","observation_id":"fb2ecca4-6cdd-4759-8287-55ac5258138d","resolution":{"observed_at":"2026-08-07T15:42:47.728661Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:43.387033Z","title":"Categorical notions of fibration,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:43.387033Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:c142217f29384f32fe15bfa2f7d8032db44a4ea6097e777d157b58c1ba5225f9","observation_id":"7b8be510-46dc-4fe3-b34a-2bd1a2fe6f88","resolution":{"observed_at":"2026-08-07T15:42:43.387033Z","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-07T15:42:56.350046Z","title":null,"venue":null,"work_id":"7fe75948-ed16-4acd-86a1-2b26c9ca9bcf","year":1966},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:43.513125Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:3c7efcaf890915a66fa8bd9b381d500928f642730cd2cddba880a8f9a4d0e635","observation_id":"ad8867e9-5050-4d46-83ae-2fdb6a2adf1c","resolution":{"observed_at":"2026-08-07T15:42:56.401435Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:56.195590Z","title":"Lack,A 2-Categories Companion","venue":null,"work_id":"3a1989d1-3775-4863-b192-dfc0503daa0d","year":2009},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:43.566548Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:ee25f9becf024c8582f9fd65e48a4bfc39d68d3ba36165327749c2571772b328","observation_id":"79879322-02b0-467d-b4ec-60a293fabeef","resolution":{"observed_at":"2026-08-07T15:42:56.265406Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0022-4049(89)90113-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"A general coherence result,","venue":"Journal of Pure and Applied Algebra","work_id":"95ff8c9e-cc67-4a84-a427-58b3a329b035","year":1989},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:43.674065Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:cb4108ab40b91f827cb33ebd20eb87ebee5ef24dcae54e9bf76289a66ec9ba6d","observation_id":"f64d7b5e-4469-4a17-be85-dbe897c8a00f","resolution":{"observed_at":"2026-08-07T15:42:47.197004Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:43.743888Z","title":"Two-dimensional monad theory,","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:43.743888Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:17c0dcf3dd943e183331b36716c6bd30cca5c6643241c66ffa7fd3af9c8b9bf2","observation_id":"d337e873-78dc-494b-b95a-73fd53ebb55a","resolution":{"observed_at":"2026-08-07T15:42:43.743888Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:43.843023Z","title":"Yoneda structures from 2-toposes,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:43.843023Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:2773f7f3bb5df11bbf0f50246a7444182338ffef0467644ebe8168c039b729fc","observation_id":"a47c2cab-1668-41bb-ac4a-d74a21658134","resolution":{"observed_at":"2026-08-07T15:42:43.843023Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:43.290265Z","title":"Springer Berlin Heidelberg, 1974, pp","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:43.290265Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:b01c6f51e65147ae5389b6d78d0ebe8ce7e80e7d8b797cb4355e2a086af27072","observation_id":"6c37bf4b-bfdc-423e-ad19-90264f026ebc","resolution":{"observed_at":"2026-08-07T15:42:43.290265Z","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-07T15:42:56.059211Z","title":"Call-by-push-value: Decomposing call-by-value and call-by- name,","venue":null,"work_id":"c8891af5-b8b2-4dd1-89ed-197b2ddd4999","year":2006},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:43.977455Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:8b77e03678738d611e6a1fa5b123f563a2df3383a7a6f9d8308268bfad0049a6","observation_id":"20de81e2-5094-44b0-8544-de4350ab0c69","resolution":{"observed_at":"2026-08-07T15:42:56.117391Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:55.942557Z","title":null,"venue":null,"work_id":"4c72a8d6-8bef-4962-ae3a-6f7bee9d061b","year":2005},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.083612Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:76631322412c366cfe333335ed997888dafd2ac7753fe37503f3864c9ad71a72","observation_id":"064ad33d-120b-4169-b6af-312a2663f656","resolution":{"observed_at":"2026-08-07T15:42:55.979112Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:44.144562Z","title":"Computational lambda-calculus and monads,","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.144562Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:31dac3c23f005c4f880fa32abec899ebf262f2d4b7cf8852c31002b7588b6819","observation_id":"db1a9323-725c-44f2-ac56-570c2e54a9ad","resolution":{"observed_at":"2026-08-07T15:42:44.144562Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:44.233630Z","title":"Eilenberg and G","venue":null,"work_id":null,"year":1966},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.233630Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:70d33b0d54cbd9b3f0fa113758e2b8c56f9c1ed1c2e4457170c3a41bf5f3e463","observation_id":"4c928c37-d708-408f-a120-cda7807beab6","resolution":{"observed_at":"2026-08-07T15:42:44.233630Z","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-07T15:42:55.783040Z","title":"Normed spaces and the change of base for enriched categories,","venue":null,"work_id":"26af3f69-7df5-4d30-b16e-42dd0770876f","year":2008},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.323065Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:f9b148c45184be9be0b11b71f4c5754a6c45247545469767c50a15ab0acd5c65","observation_id":"0860d469-4627-4608-b3dc-e99f664d8204","resolution":{"observed_at":"2026-08-07T15:42:55.836913Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:55.655018Z","title":"Grothendieck construction for bicategories,","venue":null,"work_id":"a3f05a7b-ce42-4d79-932e-bdefd15ed5da","year":2010},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.409189Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:4bdf656ea0ba871669ddee6f1ecc7f2f4b4fe6d3a63554d5a655c846acc7b5aa","observation_id":"2bc956c7-2ccb-416d-b86b-bb8fc81ae4d1","resolution":{"observed_at":"2026-08-07T15:42:55.703811Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s1571-0661(04)80568-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Adjunction models for call-by-push-value with stacks,","venue":"Electronic Notes in Theoretical Computer Science","work_id":"fd27e3ce-1114-49f6-8c92-e19092a05dc7","year":2003},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:43.896230Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:b97b09f86e3f92934a8930d5b1f6bca51e3e51ac8feee23613ee6d033db6354d","observation_id":"787b8421-7f97-4301-96d9-2b2fc998e8a4","resolution":{"observed_at":"2026-08-07T15:42:47.064098Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:55.138041Z","title":"Factorization systems and fibrations,","venue":null,"work_id":"3e5b0c8c-700d-42fb-b0c1-3f0e35320ae3","year":2003},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.562195Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:7d0461cb2677bd0c64d0fc2f0e936aeb887486507d7a6dcde1e066990abacf27","observation_id":"4007608d-81ec-4d46-b450-162765cc2d91","resolution":{"observed_at":"2026-08-07T15:42:55.265588Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:44.614493Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.614493Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:b6e10379606d12f18d36b9e9f2cdd48106d845ca5a9377a51fe0db8e5807e5ab","observation_id":"0003af81-2786-4d1e-a59e-49ace369c997","resolution":{"observed_at":"2026-08-07T15:42:44.614493Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:44.697439Z","title":"Nishizawa, S.-y","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.697439Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:c650cc0faaacc54ed94800ad41da01165b0fab570ea1d5ac5b5d568db4c737ff","observation_id":"e5381039-91d8-428e-8ca3-e79fbcf00cfc","resolution":{"observed_at":"2026-08-07T15:42:44.697439Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:44.757708Z","title":"The formal theory of monads,","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.757708Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:1de001057e1e5dcbbe4d68931f4dc5b1ead1c57133041d5dc42cd8225e6144cf","observation_id":"93387477-f1d9-474f-b695-e1e40cce7a61","resolution":{"observed_at":"2026-08-07T15:42:44.757708Z","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-07T15:42:54.955764Z","title":"Categorical glueing and logical predicates for models of linear logic,","venue":null,"work_id":"dce87b2f-2314-4ddb-82cd-1622618f48ea","year":1999},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.869712Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:bc2d186b6f1c542002d46a67a7dced51f827db17bc08f35a4b113c07cf7f375b","observation_id":"5f2ea6dd-62a7-4bb7-bec9-5d3ad3c78169","resolution":{"observed_at":"2026-08-07T15:42:55.052087Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-07T15:42:44.948395Z","title":"Remarks on isomorphisms in typed lambda calculi with empty and sum types,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.948395Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:619d70fa4b455cb58322eefe1a4cca78e39ff36f1cf82caae28ef1e1c8d98b30","observation_id":"e8ef9dd6-a2be-4e93-8958-d5650183cb8a","resolution":{"observed_at":"2026-08-07T15:42:44.948395Z","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-07T15:42:55.447340Z","title":"Fibred 2-categories and bicategories,","venue":null,"work_id":"0f51b88a-55a1-4c2d-b87c-432f2fe9720a","year":2014},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:44.485829Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:2783b17023e7a5fea6a40f880c568edf860b66a379b8c0c98510d166bc1894b0","observation_id":"bcd1acb2-cf25-4966-8a3f-9091fd59f691","resolution":{"observed_at":"2026-08-07T15:42:55.544807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:54.756885Z","title":"On the Lambek embedding and the category of product-preserving presheaves,","venue":null,"work_id":"593b217c-9f93-4820-860c-9727c40b35d1","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:45.095381Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:f103259c3e5e2717c641bca3710480dfe0474515beb0338fd085465ebd396b79","observation_id":"8b5c12e3-f3a8-4c6d-8141-45309fc661ed","resolution":{"observed_at":"2026-08-07T15:42:54.839121Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:45.258055Z","title":"Normalization by evaluation for call- by-push-value and polarized lambda calculus,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:45.258055Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:b4900d1fa3955a786662a5efd85c10ec59c8aace5d8da2edc4856b967d7fcc7b","observation_id":"b6e4ef1a-ff7d-4edc-892a-302fd1b99294","resolution":{"observed_at":"2026-08-07T15:42:45.258055Z","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-07T15:42:54.545302Z","title":"Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures,","venue":null,"work_id":"1d807a12-01c7-4fb3-9967-017d05f32fa3","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:45.389913Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:0007023b48ae86b5337e8683e256053184978d28364bc49df22d3b56013b5a86","observation_id":"1d486cb2-103e-436b-9c92-81d6c01df8df","resolution":{"observed_at":"2026-08-07T15:42:54.682023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:45.617812Z","title":"Limits for lax morphisms,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:45.617812Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:e1e19311baef22f2eb383bca158820154a21440f391a3c098bf936869909c889","observation_id":"b0c2cd77-b100-4f62-aab0-4b7576ef5fb2","resolution":{"observed_at":"2026-08-07T15:42:45.617812Z","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-07T15:42:54.335292Z","title":"Enhanced 2-categorical structures, two- dimensional limit sketches and the symmetry of internalisation,","venue":null,"work_id":"fd46caca-bb13-476e-8411-2fa41506279a","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:45.729117Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:ab82af895e6ba2c7e9b0447047c5cb40887d577d2832d85ca9db04eb003d6946","observation_id":"2b6a696a-d453-4c66-b207-56cbd0418a74","resolution":{"observed_at":"2026-08-07T15:42:54.411425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:54.102848Z","title":"Mac Lane,Categories for the Working Mathematician, 2nd ed., ser","venue":null,"work_id":"414af296-1167-4134-8a07-66b71130e148","year":1998},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:45.947455Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:7a60fd4686b88ab4226cb589938293c3646c8e8b8363e6d95d2ee76717645413","observation_id":"5f9ae1a3-6284-44d3-b635-0525d7831881","resolution":{"observed_at":"2026-08-07T15:42:54.219182Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:45.023005Z","title":"Fiore and P","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:45.023005Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:bbec2ecd4d32d872b2b6b9c3d245ed7e152e4d8248245e0bba28c18379642db6","observation_id":"4ef4cfe1-c31e-4d91-9094-cb23c33d752e","resolution":{"observed_at":"2026-08-07T15:42:45.023005Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.07475","last_updated":"2024-12-10T12:46:08Z","snapshot_observed_at":"2026-08-04T06:20:52.660126Z","submitted_at":"2024-12-10T12:46:08Z","title":"Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.07475","snapshot_observed_at":"2026-08-07T15:42:45.873319Z","title":"Available: https://doi.org/10.48550/arXiv.2412.07475","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:45.873319Z"},"links":{"cited_paper":"/paper/2412.07475","citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:4ef0f7bd60eace6c1dd2478ff0c11131b8fbe7410ba9ef713a03f9744fe6537f","observation_id":"0dfbeaf6-44fc-4d95-817a-3b4a00c1f34b","resolution":{"observed_at":"2026-08-07T15:42:45.873319Z","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-07T15:42:53.789973Z","title":null,"venue":null,"work_id":"3c54326e-0f67-4c2b-9732-411794caed35","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:46.046325Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:4ed479d1449788d20c7eb0cf6145f6a209c9dfaf058681617ad2b3b2c52f3760","observation_id":"43439fee-9cad-4782-863b-21e6cdc12381","resolution":{"observed_at":"2026-08-07T15:42:53.980448Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:53.570022Z","title":null,"venue":null,"work_id":"77bb2ce2-539b-4eaf-9f99-dbd545e0c10d","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:46.146461Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:7bb26aa07164e7738f80375ecacccaef96d5817d32baf3780231e455cc85d176","observation_id":"c604d037-8a80-4580-ae0f-ad45fabfa538","resolution":{"observed_at":"2026-08-07T15:42:53.650896Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:53.351476Z","title":"The hom-category structure means the following","venue":null,"work_id":"b59eac4a-11ed-4d06-ab70-b0ecfc8490d8","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:46.245223Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:c9c6a405383015655dcde92c87a8797c593a982c2f011d4cc848d1e950f04549","observation_id":"2b347fa2-04c7-4780-84dc-b7e17590c655","resolution":{"observed_at":"2026-08-07T15:42:53.469494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:53.145500Z","title":null,"venue":null,"work_id":"7fc69e92-300c-4b48-9c5b-5524cf544449","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:46.314901Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:fceb48a95b26f57b3c8ba92ff8669bee7577bc394c8a97375c8335824114f614","observation_id":"9699c3b2-89f1-4105-997a-5c3f7cc612ce","resolution":{"observed_at":"2026-08-07T15:42:53.247082Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:52.912438Z","title":"Thus for eachA, BPCwe have a setC cpA, Bqofmorphisms over c, denotedf:AÝ Ñ c B","venue":null,"work_id":"2c6851d1-6415-4404-b4f0-62b0d3aaaec0","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:46.414049Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:dbc62f5905c7a2618924be6f20bbd235ffbf5a37cb225e986553734e2e236318","observation_id":"7187cf6c-07ce-4f16-ba4c-454ab0fb804b","resolution":{"observed_at":"2026-08-07T15:42:53.030739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:52.582260Z","title":"We drop the subscripts where they are clear from context","venue":null,"work_id":"806f2969-b351-4e86-92b4-4e64a4f766f4","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:46.502165Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:441cb46cfaac7102c896cba631593439b19459cdb9295b95063e73b29717db5d","observation_id":"9611647d-8f2e-493a-86eb-7e7b32f8d5b4","resolution":{"observed_at":"2026-08-07T15:42:52.689042Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-56992-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Available: https://doi.org/10.1007/3-540-56992-8 21","venue":"Lecture notes in computer science","work_id":"05e41654-8ba9-42d6-b7d2-946ed1b38014","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":378,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:38.758506Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:638cbbc97339faa77d5b96dde013b76f21fda5461fbe1b9246f780f8478ee136","observation_id":"b41c86c8-7ad4-4d1f-926c-0513ccc07560","resolution":{"observed_at":"2026-08-07T15:42:50.708817Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/cbo9781139172707","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Available: https://doi.org/10.1017/CBO9781139172707","venue":"Cambridge University Press eBooks","work_id":"f6b7de0f-cf0e-4f18-adf7-6feb1f86fd57","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:39.476665Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:850e72f1ef884c7f054b301b99c461b3f72b3ed91ed247dcb30e643c3aa5b3cd","observation_id":"a26e03b7-41ad-4feb-9983-98ec2a1a740c","resolution":{"observed_at":"2026-08-07T15:42:49.778208Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00029-017-0361-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"Available: https://doi.org/10.1007/s00029-017-0361-3","venue":"Selecta Mathematica","work_id":"9ebaa4a2-8876-4f55-99ce-e9dfb0577c52","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:45.506065Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:8a18392ef0e5fab3223a0cc93fd5394beddbad3a6b67429e84d7d9476f8d299d","observation_id":"5606c2d3-eb04-4c2b-965e-8a33fced93d8","resolution":{"observed_at":"2026-08-07T15:42:46.777479Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-07T15:42:40.038187Z","title":"Available: https://doi.org/10.23638/LMCS-14(4:6)2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:40.038187Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:22f47adb6c1a3ded263e7afbf5f651e50b7282008e3d44c7b89d4487d0aeccfb","observation_id":"0e430313-5abe-423b-a097-fa2648c302b3","resolution":{"observed_at":"2026-08-07T15:42:40.038187Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:41.186718Z","title":"Available: www.tac.mta.ca/tac/volumes/35/31/35-31.pdf","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:41.186718Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:56d1e0c6249acefeb9b5377584d9b308a09880266b47785f2355f2754ba9b248","observation_id":"991d3389-b731-4df2-97e1-7f3b797f32c2","resolution":{"observed_at":"2026-08-07T15:42:41.186718Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.06068","last_updated":"2022-05-12T13:02:25Z","snapshot_observed_at":"2026-08-10T06:59:03.073686Z","submitted_at":"2022-05-12T13:02:25Z","title":"On the Lambek embedding and the category of product-preserving presheaves","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.06068","snapshot_observed_at":"2026-08-07T15:42:45.213243Z","title":"Available: https://doi.org/10.48550/arXiv.2205.06068","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:45.213243Z"},"links":{"cited_paper":"/paper/2205.06068","citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:05202aefa3d714ed416fb2d640838ea6ca4b4b5671e68a0cbc5e2f78e4caef5d","observation_id":"bdf8c8d7-af7a-4951-b7d0-3c5adbb2e9d3","resolution":{"observed_at":"2026-08-07T15:42:45.213243Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:41.879940Z","title":"Available: https://doi.org/10.1145/3661814.3662099","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:41.879940Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:319fa42657f919f48c1a2c0c47c66dcaf4673086561905a9b013935789bd183f","observation_id":"55091dd0-45bd-4b2a-8398-6020e33434d6","resolution":{"observed_at":"2026-08-07T15:42:41.879940Z","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":"10.1145/3720424","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Available: https://doi.org/10.1145/3720424","venue":"Proceedings of the ACM on Programming Languages","work_id":"fc01f3de-f821-4519-ba8b-45d7b678c0c3","year":null},"citing_paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-07T15:42:42.319093Z"},"links":{"citing_paper":"/paper/2505.14482"},"observation_digest":"sha256:669d9a63cb5c59d4da2d56631dd214e5af0cc3d5546b26ea3848a9e6ee285106","observation_id":"1e77bf8b-a27f-4dec-9777-d8d4cf923522","resolution":{"observed_at":"2026-08-07T15:42:47.953966Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-10T14:22:12.251376Z","submitted_at":"2025-05-20T15:15:13Z","title":"Logical relations for call-by-push-value models, via internal fibrations in a 2-category"},"reference_resolution":{"displayed":94,"state_counts":{"malformed_identifier":5,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":45,"verified_exact":21,"verified_fuzzy":21},"total_outbound_references":94},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 94 of 94 outbound references and 0 inbound Pith citation observations for arXiv:2505.14482."}