{"as_of":"2026-08-16T19:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:062198da64907dabaccf79c351648f32ff4bc254265011f8f12d04d06935e6c3","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:03:52.150883Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.05979/citation-record","integrity":"/paper/1908.05979/integrity","json":"/paper/1908.05979/citation-record.json","paper":"/paper/1908.05979"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129501003309","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.338239Z","title":"The R ussell-- P rawitz modality","venue":null,"work_id":"927eae2c-dc4a-4213-b718-a39077a2648a","year":2001},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.050641Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:c9b842585587a43b22dd9ffd75a58a3d45d0b8bc082072ee349b83fcde893d78","observation_id":"ee4e88ee-4f3e-4bc1-bd64-cbccea1b8193","resolution":{"observed_at":"2026-08-14T13:03:52.341775Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.626554Z","title":"The A gda W iki","venue":null,"work_id":"4a498e25-e3e4-47cc-b6a7-9bdc6b13180d","year":null},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.055307Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:ee1e74a2e01cac6894af2a1e3521d9e5d34f4dc19c3573467809d97936b90ed4","observation_id":"af7db49c-866f-42bd-b76d-370bebefa11d","resolution":{"observed_at":"2026-08-14T13:03:52.630185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1404.0570","last_updated":"2014-08-14T21:45:52Z","snapshot_observed_at":"2026-08-14T23:38:57.048814Z","submitted_at":"2014-04-02T14:34:18Z","title":"On Affine Logic and {\\L}ukasiewicz Logic","version":2},"cited_work":{"arxiv_id":"1404.0570","doi":null,"metadata_source":"pith","pith_arxiv_id":"1404.0570","snapshot_observed_at":"2026-08-14T13:03:52.580597Z","title":"On Affine Logic and {\\L}ukasiewicz Logic","venue":"cs.LO","work_id":"dd8a5abb-cf25-4ef5-838e-f8773bb8a7fb","year":2014},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.059225Z"},"links":{"cited_paper":"/paper/1404.0570","citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:09f4eea83a8e690c56628a688e998a766a8281901f89a18d0e5d95d1171da9b0","observation_id":"6c66988d-adf5-42e2-8aba-e7640de72eb3","resolution":{"observed_at":"2026-08-14T13:03:52.585714Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3032.50304","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.564842Z","title":"CPS translating inductive and coinductive types","venue":null,"work_id":"deba779e-b3e2-40a4-a5b3-7f0e1062ade4","year":2002},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.063169Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:69a4f5f4249f8a57b6df1067b36934f82c9fcb2f94ad7d399fab5e3fa0c35dde","observation_id":"9130e76f-36fd-49ac-8484-d0d8f9372978","resolution":{"observed_at":"2026-08-14T13:03:52.570338Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.067302Z","title":null,"venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.067302Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:e82b9987171f96c3d69ef9a26dce83d8b2ea6e3bcc58aa367ec71bda3a7b48bb","observation_id":"3403ba09-d940-4456-94d1-759e5c302ec8","resolution":{"observed_at":"2026-08-14T13:03:52.067302Z","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-14T13:03:52.071236Z","title":"A note on forcing and type theory","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.071236Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:891068207bca6672a51a84280472d6f449bbce8c410ff0c56c23e94fc9db14b5","observation_id":"99dfc2af-1862-4347-80af-c171903d8f63","resolution":{"observed_at":"2026-08-14T13:03:52.071236Z","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-14T13:03:52.075427Z","title":"Escard\\'o","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.075427Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:cb7edd3aa73ef697c1a1e7fe4883b2f98be4adae1f58e54428d7e1f85322441b","observation_id":"867707f1-317e-4204-b3ce-c2ec4a2ed748","resolution":{"observed_at":"2026-08-14T13:03:52.075427Z","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.apal.2011.11.002","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.307490Z","title":"Escard \\'o and Paulo Oliva","venue":null,"work_id":"e14e4ff0-1e30-41ff-9887-77eefefd6d36","year":2012},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.079490Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:67d98ff569a83953bdb50511c7402b0a64789228419e16128a3e490cbb22ee25","observation_id":"bd08d2b9-3a15-48f8-87b8-4ca1dc3edd75","resolution":{"observed_at":"2026-08-14T13:03:52.311218Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.apal.2016.04.011","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.295875Z","title":"Escard \\'o and Chuangjie Xu","venue":null,"work_id":"5867a169-5a56-4d9e-96e6-cca8af694f52","year":2016},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.083165Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:b752b5d1bde844f3588536f1d14f2c3205142176b80e87eb708e4e37910c1ee5","observation_id":"84a6d0e7-d396-412e-ad54-0b73056afa1e","resolution":{"observed_at":"2026-08-14T13:03:52.299577Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0049-237x(09)70125-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.284316Z","title":null,"venue":null,"work_id":"aff0eb8b-258e-4302-b371-8f738d4c07fc","year":1982},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.086869Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:40bddb96e74b006a282c00206d839c42e64aa37947db279485023db67adaa7f2","observation_id":"fa7acf9d-f792-4c03-8285-ac9d8338dee8","resolution":{"observed_at":"2026-08-14T13:03:52.288304Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.090656Z","title":null,"venue":null,"work_id":null,"year":1973},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.090656Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:ff78f11dc24aa711b4c24dc2e32c88ea8f708119a75ce211ec57283dd5ae1dbf","observation_id":"4c8ac74a-8ffb-42e5-b9c6-fbf98768dfec","resolution":{"observed_at":"2026-08-14T13:03:52.090656Z","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.1002/(sici)1521-3870(200001)46:1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.266494Z","title":"A note on the G \\\"odel- G entzen translation","venue":null,"work_id":"b7a52f9e-13b0-43cd-8b50-99995dce934c","year":2000},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.094321Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:f21161cde18a805d823056ebb836d76f834dd2e051efad9ad556ad9b82d9b875","observation_id":"4462d821-fa89-4273-bbdf-311771ee0269","resolution":{"observed_at":"2026-08-14T13:03:52.270393Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01794980","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.255490Z","title":"Pointwise hereditary majorization and some applications","venue":null,"work_id":"12b5e8db-87f7-4e91-be0e-78fc4493b366","year":1992},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.099405Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:239f11dc3db0261ecd1176eec686d7024691f9b031fc4d9f2c34073f658a3abc","observation_id":"1e652e5b-241d-410d-9f08-42d9fe602f1e","resolution":{"observed_at":"2026-08-14T13:03:52.259469Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.103759Z","title":"Applied Proof Theory: Proof Interpretations and their Use in Mathematics","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.103759Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:772266be7be343ede5c72e1a81b618480743ab2236d8f9cda85c14610b1113f2","observation_id":"a8f1059f-aed6-4a1e-b958-659d7c39dadd","resolution":{"observed_at":"2026-08-14T13:03:52.103759Z","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":"ndjfl/1153858","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.505091Z","title":"Unifying functional interpretations","venue":null,"work_id":"0fff76bf-4446-4d8a-ae34-152204a1754c","year":2006},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.107267Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:ab7eceb0b869ef3d778647c93a816b652b7cbe4c15b792dc898dc6db466b5453","observation_id":"243ce137-1185-4930-b03d-7ec0673242d5","resolution":{"observed_at":"2026-08-14T13:03:52.511332Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1515/9783110324921","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.238248Z","title":"On the relation between various negative translations","venue":null,"work_id":"a100b13c-df5f-4f4f-bbce-348a424c4bf7","year":2012},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.110837Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:0bdd9ac7ac0dfff42dac01f081d949955f10929e0ce5a37b18446ce479e9881c","observation_id":"7905a3d9-fb51-46c4-a219-106c5039ecf4","resolution":{"observed_at":"2026-08-14T13:03:52.241838Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/jsl.2017.33","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.227144Z","title":"A direct proof of S chwichtenberg's bar recursion closure theorem","venue":null,"work_id":"8e8a35ab-ddd2-4fb4-9b1b-886a81293a45","year":2018},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.114468Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:f7b9fcaa0beb963a5d5c340b4e7cadb5295d0f196ca01f8dd72326ef66204e1e","observation_id":"f6b621a3-4b00-4617-bcf1-7051feb56800","resolution":{"observed_at":"2026-08-14T13:03:52.231030Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.118152Z","title":"A functional interpretation with state","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.118152Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:ef858254c83da1277cd6e49fb95f01126151b21ec7972c7ecf6c285e30c29168","observation_id":"238cccae-492b-4f0d-8a6d-60ddcf1d08c9","resolution":{"observed_at":"2026-08-14T13:03:52.118152Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1906.10719","last_updated":"2020-09-08T08:39:54Z","snapshot_observed_at":"2026-08-14T16:11:33.374764Z","submitted_at":"2019-06-25T18:39:38Z","title":"A unifying framework for continuity and complexity in higher types","version":4},"cited_work":{"arxiv_id":"1906.10719","doi":null,"metadata_source":"pith","pith_arxiv_id":"1906.10719","snapshot_observed_at":"2026-08-14T13:03:52.352275Z","title":"A unifying framework for continuity and complexity in higher types","venue":"cs.LO","work_id":"c48cc2dc-1bdc-41bd-b2c8-b51514c5a215","year":2019},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.121437Z"},"links":{"cited_paper":"/paper/1906.10719","citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:d44ef16e44bb95316e79f0acfe902877251008469265da7b0c0db941eec1da0c","observation_id":"9557a5ef-fde5-4207-839d-dc8ebffd1e2a","resolution":{"observed_at":"2026-08-14T13:03:52.357592Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2273126","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.215942Z","title":"On bar recursion of types 0 and 1","venue":null,"work_id":"b53ae23f-e3c6-4d66-9b3e-13c94887633b","year":1979},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.125013Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:5d2b72aa8c7b63268d93df3409969d9175034a82155707b4f3acd894d8bab6f2","observation_id":"46fdc416-315a-4529-8a38-44c8f6c3d6d4","resolution":{"observed_at":"2026-08-14T13:03:52.219849Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.129010Z","title":"Logical relations and the typed lambda-calculus","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.129010Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:c0d5b11e9aa6cf91c412191231aa8e67b24a7f67fb3b4ec8619902777f0c4703","observation_id":"8ba95e27-27e9-4745-9c60-3a777db710ab","resolution":{"observed_at":"2026-08-14T13:03:52.129010Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.614942Z","title":"Basic Proof Theory , volume 43 of Cambridge tracts in theoretical computer science","venue":null,"work_id":"44ff08af-c977-4f75-827a-c765eefe1826","year":2000},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.132672Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:ee8090cb5a17e4e820fdfab6a2fc6bf1b5ad7d5a77f67b564e1be939c1b04d67","observation_id":"7e7d85d8-b206-41e8-9720-fb7f2a83692e","resolution":{"observed_at":"2026-08-14T13:03:52.618912Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.604155Z","title":"Constructivism in mathematics, Vol.\\ II , volume 123 of Studies in Logic and the Foundations of Mathematics","venue":null,"work_id":"3d9cc37a-a418-40fd-a766-eefa67f64c08","year":1988},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.136262Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:78e481fa701ede9cece1b972479554f03fe849114911dccfb0606c04780e8e17","observation_id":"f4bffe22-4df1-41a1-a25d-a5af2dc4c726","resolution":{"observed_at":"2026-08-14T13:03:52.607991Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-39185-1_17","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.198231Z","title":"Monad translating inductive and coinductive types","venue":null,"work_id":"426e08fe-5312-45f7-a21f-b43bd748772a","year":2002},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.139727Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:f069a69453709d89073d21f1188dbf5dfc8c1686984edacbb3f7f470dbb2bb27","observation_id":"0a4e900b-b8c8-4e7e-a67b-3d5aa968b192","resolution":{"observed_at":"2026-08-14T13:03:52.202273Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.143434Z","title":"A K uroda-style j-translation","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.143434Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:4d9a2593d8186239d1e3fcc77ba3a7dbc6d252d25e5c1a1b272c376e0adf1a7e","observation_id":"8cefbdbb-dd5e-47a2-b14b-08f033274700","resolution":{"observed_at":"2026-08-14T13:03:52.143434Z","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/0168-0072(84)90035-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.177270Z","title":"Sheaf models for choice sequences","venue":null,"work_id":"3036bdff-ac85-4f93-961c-684a5fc00a64","year":1984},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.147399Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:5c1f6815c8d0e6b2e0aa64dff7746859ee70aa71f4d3ff6fb0b577d172098f9a","observation_id":"f277a314-736d-4d8b-9a5b-f9f5db5edc04","resolution":{"observed_at":"2026-08-14T13:03:52.183206Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:03:52.593298Z","title":"A syntactic approach to continuity of T -definable functionals","venue":null,"work_id":"21dfbcf8-a2e8-4de9-8aee-9255f104d1d7","year":2020},"citing_paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-14T13:03:52.150883Z"},"links":{"citing_paper":"/paper/1908.05979"},"observation_digest":"sha256:7fb7dd1a2a2d9cb7b94fd2c3426b2242219e4aa6a0fabb40b0001e9299d949b4","observation_id":"d1e81986-4706-46e0-b618-86b127bb40f9","resolution":{"observed_at":"2026-08-14T13:03:52.597167Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.05979","last_updated":"2020-05-05T15:45:49Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-14T12:56:46.322856Z","submitted_at":"2019-08-16T14:04:35Z","title":"A Gentzen-style monadic translation of G\\\"odel's System T"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":8,"verified_exact":14,"verified_fuzzy":4},"total_outbound_references":27},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:1908.05979."}