{"as_of":"2026-08-08T21:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:11faa9b7befbecac6e4041ced38fd93ae255e92853e1f3e097d67e7c9907dd76","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-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2505.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-07T15:31:07.806425Z","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:c4dbf10f2ce73251c6005f09fc8c597d013c2cb2dda7d5a6278eac1586e4e164","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-07T15:31:07.806425Z","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:522cd3164ae6238ce5ff81602fe5fa2c4a93591cd2243c422d1db8cad23f6470","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-07T15:31:07.806425Z","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:64c73cf38f752b0561a4a6a34c69e7d1255936afac85e248c5b6c1b0927662ec","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-07T15:31:07.806425Z","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:c7c47a34062bbf761e8f3bbda8d1b5565a6a18e7ef9bb4c0437a9ea76c3cab54","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:51.231493Z","title":"Reasoning about sequential functions via logical relations,","venue":null,"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-07T15:31:07.806425Z","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:c7994f3e15586c9f52bb36ea5c613660a8417a53872c7b49087c0e71039c0bbc","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:3a063a0fc1833edf85e9d93c42bd5b013d07eb715ac654c74be3ce1c7d353df0","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-07T15:31:07.806425Z","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:4b97d25b3795acd5579f154c92c81e1775451dce79728051427413e052947e11","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:51.061447Z","title":"Logical step-indexed logical relations,","venue":null,"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-07T15:31:07.806425Z","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:5e326990e34f322d68153fd5e7f0921f8d13f79df284930f140115aaeee79d5b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-55511-0","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:50.824758Z","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-07T15:31:07.806425Z","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:15bd0d5776afdfc4bb385073a32dd48efc104d407a329853611d46e9603cb61e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:fcfb2ba334236467fcedd5cfc6e43eb96a1fac14d2ef2dd14a72ae6a12ebe97b","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:50.464273Z","title":"A new characterization of lambda definability,","venue":null,"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-07T15:31:07.806425Z","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:6d9e27e68621e32156346b09aceceacad477c53e348b99e9e804334a991ea36c","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0304-3975(94)00283-o","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:50.260398Z","title":"A characterization of lambda definability in categorical models of implicit polymorphism,","venue":null,"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-07T15:31:07.806425Z","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:a8400de47c7e257604fba2f48fdc55a4b1455bcf5da392589e54f7db7228780f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:13e487dd843d46a5999c473d0d359bcde3b8b4c7ee1f1066a6e92547ff52a274","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-07T15:31:07.806425Z","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:2d4399176ca79afe3adcbecf43b12edf7b8103f29972ff575963757379f1b3cf","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:49.962077Z","title":"Relating computational effects byJJ-lifting,","venue":null,"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-07T15:31:07.806425Z","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:d872fcafee1e9d19a4b96053fdfcfb229fe2e0eab0f945e76afdeb6d5e4d1f43","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:9d71cbe30edbc7fd9a18880ad78cba35c6e3adae083f6f794d4442932f373512","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-07T15:31:07.806425Z","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:6faf456b295a4dbea3a2075c864ec65ca9765d6332fa816716fcda5e0189c66c","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-07T15:31:07.806425Z","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:03d11c128c8c88131bca948ecb9a8c0cc31776a87e68ca8f7650b44b56d5d807","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:49.542165Z","title":"Logical relations for monadic types,","venue":null,"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-07T15:31:07.806425Z","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:b09abe0ccc72911421e105bd77ca8e18c61a946fbc049565e5c5e134641bad67","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11538363","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:49.374837Z","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-07T15:31:07.806425Z","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:fb0d628335cd04b61e69ee1f3da17538895cb45c3fc5ae1c6b64f829a1648feb","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2018.11.012","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:49.206685Z","title":"Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics,","venue":null,"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-07T15:31:07.806425Z","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:cd766c438f875879386b36fa076da4b4ea7137b5ec3d5e116a1ff9f414bb698b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:ddcd93b3edeec7916bb7d17d0cc7dcc169f589c44830f54871295df27efc4557","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:48.944738Z","title":"Fully abstract models for effectfulλ-calculi via category-theoretic logical relations,","venue":null,"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-07T15:31:07.806425Z","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:2a5cfaac6e2e18789ebdb8caeb9920bf0eba0d4e669f67fde87db5913a0dbf9f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01304852","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:48.734244Z","title":"Strong functors and monoidal monads,","venue":null,"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-07T15:31:07.806425Z","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:44e4a9e5ee6ab5284b2398c5c1730fec1d8d5b05f0962ebbc1fb6ccdddbfb10d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:36f98e6514f3f5ffb4cdeba4e82901680fc370056b56a2454b1c22e50228533a","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-07T15:31:07.806425Z","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:9ec750d3fbd3f61edad795a5994196833019abe1df97871e478a80b706e8191a","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-07T15:31:07.806425Z","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:342f1128f0f1e5ac082946a2281656e5546d17b65ee25c26326f091bee307d39","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:48.564253Z","title":"Connected limits, familial representability and artin glueing,","venue":null,"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-07T15:31:07.806425Z","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:e0962dea35d6610991992621d5c36a70d22eeafb21a9458218db75c46b9fd750","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.16351","last_updated":"2024-09-10T10:09:44Z","snapshot_observed_at":"2026-08-07T18:54:27.336528Z","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-07T15:31:07.806425Z","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:e31deccb1cd2ab4e53aa8ceb002cdb88b5d7fbf97dc8bcc1e9518eda1dc1b580","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-07T15:31:07.806425Z","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:f1d9f02f906c6afd75fabbe07c4f973564098e6f655df5c1fa88d2e1b3c5603e","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-07T15:31:07.806425Z","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:2c05064545eda4456d180f71b8c88471d389dc4453ebdc5139974f38b0874bfc","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-07T15:31:07.806425Z","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:ae40d131cee4a75ad3c7355f030743c01e25d48738ebb507de028bc264d54c21","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-07T15:31:07.806425Z","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:4f9608bcd151421c7e25af3803e361efad6803e7d614b52a3bf375e5e9417172","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-07T15:31:07.806425Z","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:44334dc94f1ee0a1d38b7e0cc0ce99fe45bd924ce04ec4cba12ca5ebc293a729","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"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-07T15:31:07.806425Z","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:aeb4ea78f9aded83fc4bdd9c0241caa37e039ed85f2526373d5e0556c00e23ee","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:e6546baa1cf4eec3ec2f4f68ec3468976436e9a37950bd64bf9789838703a93c","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:48.303344Z","title":"Goncharov, A","venue":null,"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-07T15:31:07.806425Z","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:8c9fc30964176f6a3360f0d827223d334323686c0bd6bbfc20759111132cdab7","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:078369a3b09f5eb727e8168d989b0d7fe3f147121c5f96660a9f9a2c39478458","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:4b6e997e58839e625b7730c48ecf9ba23c0b676438291b5c69c4e0540cc15321","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:615d3e357de705676b76de3c9d2530f655c3d7d42a68fdb5ae617e14b3907265","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48456/tr-948","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:48.057844Z","title":"Reasoning about effectful programs and evaluation order,","venue":null,"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-07T15:31:07.806425Z","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:4e6a0aba34eea6a1b08ad1384ba425113b99e824fb6c6de73d475adf746a3c77","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:e18f8a6c335f341a73a6ee3e9814d92470166ae7f07136bdcf4a3be63e0d93cf","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:49b9059363f6f6648d95633fc788cd8807ea77eaf5fb0e2b31b4cca6ab21952e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:f036adfe021f84c151ed7209c36e01fd866da2b780c408c30485ffde49f2fa48","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"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-07T15:31:07.806425Z","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:78227a035fec2e3eb34a2d8f9a6c891eeb73fb45c4d599692b744e1ed456b5ff","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-07T15:31:07.806425Z","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:14d63985b308ec7681eb5053f30f59fa0f622efa1fab917ce67dc1dd7193c973","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-07T15:31:07.806425Z","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:20a9de6d7d5c4735c939266c5ac5152c9c16a977ade3fa4bba4859b0002d4006","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:f9f51f9852c7dde5b9a8abbe254be6b16625ffdd4f81d41ad8847f30fc7c8ff3","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:394b1c9313d0a644ff4abce107faff255f4d5cc2837428841213e9ea5b2c74fb","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0022-4049(81)90021-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:47.334815Z","title":"Conspectus of variable categories,","venue":null,"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-07T15:31:07.806425Z","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:203e5f5fc02459a7238222ff340fc6bbe23af0c77b1d8cfce381f54793ce810d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"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-07T15:31:07.806425Z","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:fa9f7ec7820334a36d923c697d6d65521003334803abc491c50bedb3cf955b6d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:668214dc0d2a5fd2a40f4af2454ec70c2ed37f9d9d03630021a28f1570fd2d44","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-07T15:31:07.806425Z","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:caf1ddb0772993b34fff8bc16f066469cf208619c735b17a8eea330a586ef7d8","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:b03d9928dcf6ff26deebe355ff35b1e6ea2a8587c2bc1aa15a99523e61b853d9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0022-4049(89)90113-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:47.147912Z","title":"A general coherence result,","venue":null,"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-07T15:31:07.806425Z","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:fe812e20e11bc2e5b4d6ac844efce34f61bbfd2c74eba30a1db05560fc28d351","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:e054667f4ee72aacf4ae91ba2b41c9808d38aa68015e6d3d17542aa1a95cd3cb","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-07T15:31:07.806425Z","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:6212db71904f260a53b6011d188f6f0895db77c366fbcdd682c9a54ef98a2db4","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-07T15:31:07.806425Z","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:dff738394d0e93a1774b965fc64148d9af7762c4c7b0f982214aedca14f58797","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-07T15:31:07.806425Z","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:9c3c66b69a783c0b206c9a745145bf48651dc56fe5f8bdc10e10accc118ded3d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:17a4c236e446ee5e15b0e9c505312702431da0dd060d0857f8e2a07b0a0419d4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:d4b8e466e870cae238701bba9f2f1e54a2b53862d2b5f35208b4646db726ca9c","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-07T15:31:07.806425Z","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:9a603741350b75a283f30642484f0af694050743765831e7a341bedc41af3916","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-07T15:31:07.806425Z","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:1bcc76f229b9de5407890b6f5b18270e558165a1b568076287c5164578ffd6c3","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:097f9b054dceba9092b25dde72f59d1b7a8c6b5244b6839cf4d45f5cec496177","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s1571-0661(04)80568-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:46.983687Z","title":"Adjunction models for call-by-push-value with stacks,","venue":null,"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-07T15:31:07.806425Z","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:d7aac1050179c81e6d039c09614ef2cd09141424bfc336eeca1ad3ed5206b484","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:ca93be238a97bb69df906c937301cc647a1e74e6fbe9d8f9674e5cced507ad21","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:147acf551e031f73a0ec805f6cc7c9fd9d0e6410fb6664ad5747987d4a4a1d97","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-07T15:31:07.806425Z","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:2c380c44616abe98cc48089489ba0d898e22f4527534660b27f71b37c1736b10","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-07T15:31:07.806425Z","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:5ce4424519c86a2bddf1dfa5f435d99375b41a286f4a1a203cb14b89d1a34623","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-07T15:31:07.806425Z","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:bca8b0879bd048542f076fa8d66d9adc445f7731bd12ef3cdbbf8a21de0be007","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"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-07T15:31:07.806425Z","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:257504eeec4406fbca3d7414bb5a2378f3b668d07e65d6ac902267bd9e62add0","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-07T15:31:07.806425Z","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:02846b78e3c435f8f92125d2fc5e175cfe1a85375258660a8d5b0a8f7c3a6f5d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:02978676cb454203022e90c245d8c6f26a2fd0b6d39b5bb1dd4ba1a4cfd3082e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:1003d61bc648175eb8a0a75167131d91067668245ce7479411b28e72c6dcef87","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-07T15:31:07.806425Z","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:a958c624398d18a53a5ce07ac47cadb9084801c395f311f7606f6d8e3d061e0c","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:8d505a8187417b23dfa300368f732e336804ce3937b4bff871a4b9a5d89c4787","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-07T15:31:07.806425Z","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:ebea00ae645f44eadf1646c004d6036944e0640f3e5cba45dfe2b9a37f19035d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:3282fef65612a5b508a268900f4b3c38d560835a91635830858a9c06995db22f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:b8ee9785d35a848f7d6ff458dac287d94495b67c663e456cad8034bdfe0a530b","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-07T15:31:07.806425Z","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:5f90ee52e0d6cbb8dd52bcefad71546dcf1a20e711d06890cece3008f59b5bf4","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-07T15:31:07.806425Z","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:5cca0a7bcd3c320408afb73f3f180aeeea1fe949fbcff7b7820dcbcc7e6accc3","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:b6755d70f8d2cdf9fe48d508f1d7bfa2d114a63652c4e4a95cb7da4797403a2b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:c336ae18f2994782a240b60e5fbb64483d05d8391bb730be98c1a4656895d974","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:e6abee7595a8ade6d14263363ea6fb39c7c23d9337587d9555f9e19124156f69","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:6950c711d20c501c943a36c92778c9aba9d0adb6c7b79624788405f415cd45c7","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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-07T15:31:07.806425Z","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:a2ea3c5022fad3175fad261ffb39ab5ee27d9d9bc92df90e278b8946c5de3660","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-56992-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:50.672747Z","title":"Available: https://doi.org/10.1007/3-540-56992-8 21","venue":null,"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-07T15:31:07.806425Z","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:3abbd60390e0552d2141eb1fff63887e7b8f7b27a2ea93de6db3bcb5d48ae397","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/cbo9781139172707","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:49.713037Z","title":"Available: https://doi.org/10.1017/CBO9781139172707","venue":null,"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-07T15:31:07.806425Z","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:1efbd942c3256f55350b4ebd175d7625d3b51b7eb3fe10dc9927afb835dcd8ba","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00029-017-0361-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:46.679657Z","title":"Available: https://doi.org/10.1007/s00029-017-0361-3","venue":null,"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-07T15:31:07.806425Z","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:6143efbf1e0b8166cd0fb860e524f1f0e5c702b463e92a162b20903b0c1ecc05","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":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-07T15:31:07.806425Z","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:6eac0a02770a689d5b3e423340f6fa4722ef236f80769c32867d4a53b4ac5f5c","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-07T15:31:07.806425Z","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:63ce0a9c9dc7026ffa3187329292c440a02d2f2cb6bc64aba5e40da14b807809","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-07-06T13:09:18.182976Z","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-07T15:31:07.806425Z","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:bc2788c74501fbd2ad79ee830aafda6bf9c9a070832e704fe025718eae05455c","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-07T15:31:07.806425Z","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:d82a2a9b29da053fd600c93d6b47dd48376df3eb1136ff2b600126e1c259dfbf","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:42:47.875988Z","title":"Available: https://doi.org/10.1145/3720424","venue":null,"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-07T15:31:07.806425Z","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:fd50aa7eba6b82e712781dacfb884f6e86766c74ab9419a9a372708eb5de4c48","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.14482","last_updated":"2025-06-13T15:27:35Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T15:31:07.806425Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 94 of 94 outbound references and 0 inbound Pith citation observations for arXiv:2505.14482."}