{"as_of":"2026-08-16T08:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:013bd87f8438948da421ff7b51961d6c444e192696f3f1ef710accef74ef61ec","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T15:12:33.807762Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"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.01909/citation-record","integrity":"/paper/1908.01909/integrity","json":"/paper/1908.01909/citation-record.json","paper":"/paper/1908.01909"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:12:34.370900Z","title":"Least and greatest fixed points in linear logic","venue":null,"work_id":"af343dc6-8c28-4f12-aad5-f2803540de7f","year":2012},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.641644Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:229fa9a4151375abd387ab1b63977a8f6f47e02a0784aad7f9cf273845022d54","observation_id":"1268d1a4-09f1-48c2-87d9-04da13245e27","resolution":{"observed_at":"2026-08-14T15:12:34.376073Z","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-14T15:12:34.355459Z","title":"Infinitary proof theory: the multiplicative additive case","venue":null,"work_id":"f9d93528-bbac-4827-9586-a8cfc414a6ad","year":2016},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.646810Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:e9aa203489d4eb63a9a3ea004877fd86f8db86ba91fd0f363e0bcab4a7509011","observation_id":"a3057ab3-debc-47d5-85cd-5391eaa26d6c","resolution":{"observed_at":"2026-08-14T15:12:34.360513Z","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-14T15:12:34.340190Z","title":"Intensional type theory with guarded recursive types qua fixed points on universes","venue":null,"work_id":"1fc6a015-8c8d-49b1-ab8a-f1fed274ee62","year":2013},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.652775Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:ce6e9b593accf9e71b7c32f8b7e8cbcbc6fa840cb8cd3bbd1dd9fdf835678121","observation_id":"f5728da5-b629-47aa-9294-2a9a47713937","resolution":{"observed_at":"2026-08-14T15:12:34.345116Z","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-14T15:12:34.325287Z","title":"A judgmental analysis of linear logic","venue":null,"work_id":"c58079a4-0d17-43fc-a236-d57b8d664f00","year":2003},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.658256Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:ada9d5eaf0e53f01f69bc7f26192fa17597f18df32b86d033e1af7c2174f556a","observation_id":"86ce1525-d8f6-4d95-8906-1cefcce6cedc","resolution":{"observed_at":"2026-08-14T15:12:34.330264Z","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-14T15:12:34.309974Z","title":"Session types as intuitionistic linear propositions","venue":null,"work_id":"ba70a875-8b92-435d-aca0-f7f60ec3d15e","year":2010},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.664693Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:ec0323193d998c220d5ae787846c65c844f508b723b1e7b8bb0d44d285cd27c5","observation_id":"5d05ca68-4dc0-4f34-bdda-085ff6eedb83","resolution":{"observed_at":"2026-08-14T15:12:34.314943Z","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-14T15:12:34.294338Z","title":"Linear logic propositions as session types","venue":null,"work_id":"7f068de3-c180-449a-b2b9-54a176aab6fe","year":2016},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.669599Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:832e4c72d26124e786a5708dea76326e66f659418434ae6467eef923bf6eb6f0","observation_id":"7fe9dc38-0dc4-468a-95d6-52cad4ba556d","resolution":{"observed_at":"2026-08-14T15:12:34.299592Z","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-14T15:12:34.279049Z","title":"Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side","venue":null,"work_id":"b3b7f8ab-f492-4c5a-a59b-b3a82cfcf437","year":2019},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.674660Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:68629bce1246d145f02b67015946091c16a61e484618dc59d9238af7956912a1","observation_id":"703e2c97-920a-464e-8db2-53ab972cda67","resolution":{"observed_at":"2026-08-14T15:12:34.284151Z","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-14T15:12:34.263353Z","title":"Cut reduction in linear logic as asynchronous session-typed communication","venue":null,"work_id":"4e586543-8da1-4a84-9c94-85559049776e","year":2012},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.679525Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:c29c8f3dcc917528070401f5d2603f5d5355e59ba3a60f7e2c4b4b8669860f54","observation_id":"2a3c4780-9444-4f2c-873d-cbd9641999c3","resolution":{"observed_at":"2026-08-14T15:12:34.268537Z","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-14T15:12:34.248278Z","title":"Subsingleton","venue":null,"work_id":"4437e1c0-2425-4b7b-bcfa-8c4431e07f1c","year":2019},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.684077Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:f317f3f7655e77240ccd6f80ca2af90569cbe2f3bedb8b405e3387e2453be0e6","observation_id":"7aa1d766-63db-4b26-a20c-d5f183e6522c","resolution":{"observed_at":"2026-08-14T15:12:34.252841Z","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-14T15:12:34.232789Z","title":"Session-Typed Ordered Logical Specifications","venue":null,"work_id":"4cf0f58d-cf6d-4be0-bcd0-42a82f8d06a8","year":2020},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.689531Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:c4115b4d965a079f5af9f28f83d8c6e7d85c1b3c0391f8ed5a9514efc5e96139","observation_id":"0e800a2e-c9c9-4228-b384-a5a12541c0e0","resolution":{"observed_at":"2026-08-14T15:12:34.237917Z","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-14T15:12:34.217768Z","title":"On the Infinitary Proof Theory of Logics with Fixed Points","venue":null,"work_id":"1d19200b-29ba-4b52-9f33-be319bd86838","year":2017},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.693735Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:2485e5809bef4ade10e47d44d95d894b3d2b7e7375534034bc843a63c804e898","observation_id":"7ef2943e-1a51-43ac-8b57-b44f3732e35d","resolution":{"observed_at":"2026-08-14T15:12:34.222637Z","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-14T15:12:34.198679Z","title":"Substructural proofs as automata","venue":null,"work_id":"54eac1d9-b5d2-4c84-8ed4-628b27773508","year":2016},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.698792Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:9fad99d8e5aec05791a96d1edccbe0b9dd30d10dd77e438f43d6b7888878a849","observation_id":"aa305846-e925-4c4f-9ba2-5440aaf3e5fa","resolution":{"observed_at":"2026-08-14T15:12:34.203855Z","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-14T15:12:34.184424Z","title":"Non-wellfounded proof theory for ( K leene+ action) (algebras+ lattices)","venue":null,"work_id":"efb686d3-60a2-4cb3-bb19-4a273d49e948","year":2018},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.703844Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:b870eb83ee3edff0d4f75be88a4527a1c4ba089bd28a14e2615c008285237de8","observation_id":"97dc1a4e-4e15-48d4-99c6-53ae5f4eccbd","resolution":{"observed_at":"2026-08-14T15:12:34.189175Z","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-14T15:12:34.168817Z","title":"Cuts for circular proofs: Semantics and cut-elimination","venue":null,"work_id":"aefaadd2-5100-473c-8148-cfb8923282fc","year":2013},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.708402Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:772ab2f9b55b18f10e5ac05b3936b40a76364fa5e90647310a6690d1e9b64c94","observation_id":"c72ce30e-9a33-46b8-b004-578ceefe7aea","resolution":{"observed_at":"2026-08-14T15:12:34.173863Z","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-14T15:12:34.154391Z","title":"Linear logic and lazy computation","venue":null,"work_id":"3de98063-746b-499d-9114-37a46b2165ff","year":1987},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.712840Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:cc46d17b5fc1e2ec5fbab7bd18daa02f1489cea16aac2d595b945d4b883313a9","observation_id":"6aa97466-9690-4260-930f-6f1461f05b12","resolution":{"observed_at":"2026-08-14T15:12:34.159100Z","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-14T15:12:34.139328Z","title":"Guarded Recursive Type Theory","venue":null,"work_id":"294f7e41-82ff-456c-965f-8c17f4807c8e","year":2016},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.717292Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:1e826ae5c556ee2781b2923193131b43385c497f12e7d1efaceba67605d3784b","observation_id":"416f4c23-0993-46c6-842a-7ea74b9b984f","resolution":{"observed_at":"2026-08-14T15:12:34.144144Z","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-14T15:12:34.121939Z","title":"Polarized Substructural Session Types","venue":null,"work_id":"5a9edf36-3c99-4fc4-860c-dc694b49646e","year":2016},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.721966Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:412f133990ac429b95a07bc82a244c3005a615f1d99323fae0de49c0281e7c56","observation_id":"723e0424-0ff9-41fb-8398-175444af1396","resolution":{"observed_at":"2026-08-14T15:12:34.127991Z","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-14T15:12:34.106336Z","title":"Gay and Vasco T","venue":null,"work_id":"3ee163e3-a77e-45ca-9645-c1403169018f","year":2010},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.726476Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:f2bf2b1f4f36cbd9ecd2062fe7c53bddfffc16ab530e952f613e4f2e8055358c","observation_id":"2325e615-a1c3-4061-81c1-302a0dfd0110","resolution":{"observed_at":"2026-08-14T15:12:34.110876Z","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-14T15:12:34.092697Z","title":"Types for dyadic interaction","venue":null,"work_id":"2e8b67ca-86f7-48dd-8bd6-e78632b58ffc","year":1993},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.730868Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:c2e3a6bf4ccd2cd850212c3e2087b25be4570c460cf56a886dc255eff398e818","observation_id":"b59b7357-26aa-492e-a650-8fdf279ac545","resolution":{"observed_at":"2026-08-14T15:12:34.097188Z","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-14T15:12:34.077243Z","title":null,"venue":null,"work_id":"37302ec5-06ff-48e4-8e32-89e46ee0eacb","year":1980},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.735591Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:f119d1db30a180fbbea9f6c680ad1f3223b14e3adcdcbaeaaac5d82a8d5208d5","observation_id":"e14ed679-2e65-44df-b7a3-3c4c2855e56b","resolution":{"observed_at":"2026-08-14T15:12:34.081756Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:12:34.062892Z","title":"Vasconcelos, and Makoto Kubo","venue":null,"work_id":"cce46641-d36c-42d2-a93f-fcf96fb2079d","year":1998},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.740440Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:e455407e5df408cbc0718d93f52ca35da836c8075e9b94bcff62c138cfd8e3ee","observation_id":"923de95c-e2f3-47cc-b193-c83afd191795","resolution":{"observed_at":"2026-08-14T15:12:34.067539Z","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":"1901.07820","last_updated":"2025-09-02T08:40:38Z","snapshot_observed_at":"2026-08-14T17:27:10.207028Z","submitted_at":"2019-01-23T11:12:57Z","title":"Totality for Mixed Inductive and Coinductive Types","version":8},"cited_work":{"arxiv_id":"1901.07820","doi":null,"metadata_source":"pith","pith_arxiv_id":"1901.07820","snapshot_observed_at":"2026-08-14T15:12:33.845791Z","title":"Totality for Mixed Inductive and Coinductive Types","venue":"cs.LO","work_id":"34a9eb46-85a4-49cb-bc59-e178d8f047f2","year":2019},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.744976Z"},"links":{"cited_paper":"/paper/1901.07820","citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:17ba0c94f39a55cf3d6970da374f7a9c3cbfffa634166fbae089e8cc268738fa","observation_id":"7f2df184-6744-40a1-a65e-658821f6b93d","resolution":{"observed_at":"2026-08-14T15:12:33.853257Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:12:34.048422Z","title":"Free lattices, communication and money games","venue":null,"work_id":"790fb8d3-ea08-44a9-b788-9e497e6ee631","year":1995},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.749787Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:ed38fe47a3416330f5a1de7f5e3fef6a40a44bc41035b914ed9aaa2d188aa2f6","observation_id":"1b7c7016-29e2-4641-8aed-136bb149f2f2","resolution":{"observed_at":"2026-08-14T15:12:34.053347Z","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-14T15:12:34.033952Z","title":"Around classical and intuitionistic linear logic","venue":null,"work_id":"d91aa4f6-9fc9-4666-944b-957472deb37d","year":2018},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.754848Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:a5c8fb4e31dbea94791506450ad783c2c3298ad25d49e267ee29c42e8cd32b2f","observation_id":"33057868-aa7c-4ebe-8df0-8e5346715aae","resolution":{"observed_at":"2026-08-14T15:12:34.038740Z","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-14T15:12:34.019766Z","title":"Garrett Morris","venue":null,"work_id":"d245bd9e-f2a5-4f63-a031-5087697afd42","year":2016},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.759289Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:de3b2bebb193634775cb00b4e06a55411c5fed8fbae4f38a8bd1e6b37435f1db","observation_id":"feb7e113-6882-42a1-be91-9b0611ae1f47","resolution":{"observed_at":"2026-08-14T15:12:34.024255Z","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-14T15:12:34.004702Z","title":"Local validity for circular proofs in linear logic with fixed points","venue":null,"work_id":"f50b5a1e-536d-4e6b-ad40-5df7e3e29bd2","year":2018},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.763533Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:7833d5fb6c34a2250a360be101f1202387b606babbed356e1f69e8618bceba00","observation_id":"c235fafc-87e9-44fa-be45-27876385f257","resolution":{"observed_at":"2026-08-14T15:12:34.009476Z","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-14T15:12:33.989656Z","title":"Substructural logics","venue":null,"work_id":"9cbed00f-2bc5-4736-8584-7b6db1c80357","year":2016},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.768738Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:d8494ea9f4b6c71f95de71be5a9143c883162ea5c8f4e1faeb0c0ab187319ffb","observation_id":"fa9f19ed-f54a-4af6-9e1c-e67d7be38184","resolution":{"observed_at":"2026-08-14T15:12:33.994302Z","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-14T15:12:33.975141Z","title":"Local type inference","venue":null,"work_id":"9613a73d-cbd6-441e-90ac-0f6b24738513","year":2000},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.774144Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:9d4ae6f65bdbc137c779c9c5a94f0326163fb96666c3b20d4a98da14c06e6f7d","observation_id":"04b43d70-aa14-4f56-9625-bd4ca384c8fe","resolution":{"observed_at":"2026-08-14T15:12:33.979898Z","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-14T15:12:33.959918Z","title":null,"venue":null,"work_id":"394d923a-8469-4f89-a4ed-4c5c6f0e89d1","year":2017},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.779468Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:1e0ea3f12711d5b2a08f7ac56296a1afd653f426985d4c4ad9169f21ceccb578","observation_id":"c84827c5-bca4-4478-8ae3-1a46cc78737b","resolution":{"observed_at":"2026-08-14T15:12:33.964663Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:12:33.945093Z","title":"A calculus of circular proofs and its categorical semantics","venue":null,"work_id":"740e7094-33cf-46b9-a2e4-376f5af229f4","year":2002},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.784939Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:b33e9543e695a6fd6de00738543ce1dc497e64078770404faebad0ce8495284e","observation_id":"067d4ba6-26ac-4420-a4e6-e312b44505a9","resolution":{"observed_at":"2026-08-14T15:12:33.949946Z","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-14T15:12:33.928051Z","title":"Free -lattices","venue":null,"work_id":"04498c01-0046-411b-92a5-e66c4369118a","year":2002},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.789773Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:3723a19a4d36b11fab0b92e945d184f06560428e9f8f34c901f92ae7fcb57b11","observation_id":"4266f04c-5bc7-436e-a0ee-1aa83026c94d","resolution":{"observed_at":"2026-08-14T15:12:33.933381Z","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-14T15:12:33.912280Z","title":"From parity games to circular proofs","venue":null,"work_id":"56034773-5ea3-4dc4-9ce2-166075b1248d","year":2002},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.794320Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:3a023db015fd9d8a8058d59688fcbdb0f2ad90e6d5b9b1fb9c6d7eba7b15328e","observation_id":"0dc4246b-d1da-4399-9848-7eec90628858","resolution":{"observed_at":"2026-08-14T15:12:33.917248Z","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-14T15:12:33.896119Z","title":"-bicomplete categories and parity games","venue":null,"work_id":"a4bc6ba4-b503-44ce-b09b-3e2fe4065099","year":2002},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.798737Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:d71bd341ad36876f708472555b6cd58a0bbbd530ce1309c52ccf30eae2fababd","observation_id":"265013c4-4c5a-4890-be6d-b660a6cb3933","resolution":{"observed_at":"2026-08-14T15:12:33.901461Z","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-14T15:12:33.879031Z","title":"Higher-order processes, functions, and sessions: A monadic integration","venue":null,"work_id":"ad9c6dbb-9826-46da-9484-5f235110adc7","year":2013},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.803136Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:31d884c0fb342353af50e0b687a416d1667c1419c4f45b4274cc509f0bbf3f1f","observation_id":"e904eb9e-c5d5-4928-98c8-d48b965c64ec","resolution":{"observed_at":"2026-08-14T15:12:33.884300Z","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-14T15:12:33.863971Z","title":"Propositions as sessions","venue":null,"work_id":"68dd09c4-5669-43e8-9406-58f0be27a6b6","year":2012},"citing_paper":{"arxiv_id":"1908.01909","last_updated":"2022-05-09T15:35:24Z","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition","version":5},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-14T15:12:33.807762Z"},"links":{"citing_paper":"/paper/1908.01909"},"observation_digest":"sha256:96fa5f24f4aad42dcd4fd03dc77915db1ea74d0c50e3135d7fb0773177e5b119","observation_id":"f3108280-7796-48c5-9166-2986cc2416e0","resolution":{"observed_at":"2026-08-14T15:12:33.869022Z","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.01909","last_updated":"2022-05-09T15:35:24Z","latest_version":5,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T03:25:35.073522Z","submitted_at":"2019-08-06T00:07:04Z","title":"Circular Proofs as Session-Typed Processes: A Local Validity Condition"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":32},"total_outbound_references":35},"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 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:1908.01909."}