{"as_of":"2026-08-13T06:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6f45ceb1605c09e3fd2ad621157f2f265b685701ff76d4d5cfe769e4f6db0097","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T16:21:50.487747Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2411.13732/citation-record","integrity":"/paper/2411.13732/integrity","json":"/paper/2411.13732/citation-record.json","paper":"/paper/2411.13732"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2168/lmcs-7(1:11)2011","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.706747Z","title":"Logical Methods in Computer Science V olume 7, Issue 1, doi:10.2168/LMCS-7(1:11)2011","venue":null,"work_id":"11ab439d-ea84-4baa-a211-fa4acaf42c2a","year":2011},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.385832Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:55528fe6e7d2d33221bddf7d6ebb850b8d845fa15d35e5f06c5936bdf512a3db","observation_id":"0f51b142-73a4-4818-918b-bd72d80123c7","resolution":{"observed_at":"2026-08-12T16:21:50.709803Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:51.052186Z","title":null,"venue":null,"work_id":"6593ff76-bb34-4124-808e-610a320a9d31","year":2005},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.388508Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:ebd053c359b7f9f2a7def1427f3169c4178a4d12db13b88b25e89f8a50b1f832","observation_id":"6480af0a-5ced-4f26-a9ed-a9e035552e6b","resolution":{"observed_at":"2026-08-12T16:21:51.054846Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s1571-0661(05)80361-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.714359Z","title":"Nordic Journal of Computing 10(2), pp","venue":null,"work_id":"14f8bd0f-fb12-46c5-b67b-89c6f4e246da","year":2003},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.391318Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:d9d78681802a238c17b92b7596511f3a23cdb2466e83507d5f08c19145a5c943","observation_id":"8ba33176-f1b7-4855-9637-a7410b479e05","resolution":{"observed_at":"2026-08-12T16:21:50.717070Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-37036-6_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.640825Z","title":"In: Proc","venue":null,"work_id":"465c13c0-aac2-463f-9845-19dd4b6d4263","year":2013},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.393969Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:37c3c28db6f56ce552082756dfc1ff48678e7eb4f9339208a7c95964f57360c8","observation_id":"518f5adf-8928-4dcc-97a8-628785d1950b","resolution":{"observed_at":"2026-08-12T16:21:50.643299Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-44914-8_7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.633865Z","title":"In: Proc","venue":null,"work_id":"567f9c4c-6a00-4335-9631-3a20c5a8d915","year":2020},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.396636Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:2944667b19c88913fc4f85f9ad1094ae6bfa489f459dd74d06636fade6f9c7ab","observation_id":"6748bb73-ff70-45db-a73a-def2af194aa4","resolution":{"observed_at":"2026-08-12T16:21:50.636487Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:50.399592Z","title":"Formal Asp","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.399592Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:91c35fb9f3f83654b27d6e96cd29de47afe5213ab17910cc5f0432a6e1320a8f","observation_id":"83a0ca1e-19e1-4822-a358-02dcb589e564","resolution":{"observed_at":"2026-08-12T16:21:50.399592Z","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.4204/eptcs.89.7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.622526Z","title":"In: Proc","venue":null,"work_id":"a841de99-0dd6-4585-9361-355c50eff5ef","year":2012},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.402290Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:b38691a0baa4c27e478892cfd85590e217573f4d3053b48a47120a74d7c8677a","observation_id":"5b53cf6d-fb9c-4529-9778-f2047aab8864","resolution":{"observed_at":"2026-08-12T16:21:50.625262Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-893","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.615277Z","title":"In: Proc","venue":null,"work_id":"a6f102fe-ebf8-4771-8024-47649b8923fe","year":2018},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.404842Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:c71a1093a04ca613782ddce974ed990d82e45cbd116bfd87c4bdee6e0d4d08a5","observation_id":"3decbc62-242d-465a-9292-0c1e22171208","resolution":{"observed_at":"2026-08-12T16:21:50.618006Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:50.407347Z","title":"Information and Computation 208(9), pp","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.407347Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:1854ac6d61dfdd29ffa5f7a091e7e4475404b7d4ab0288c049d58fa483245a64","observation_id":"c25bd2f4-7b42-4611-bc3a-de185182d3af","resolution":{"observed_at":"2026-08-12T16:21:50.407347Z","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-12T16:21:50.409948Z","title":"Math- ematical Structures in Computer Science 26, pp","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.409948Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:e6aa89606cf0be94b9fcbdac34831b7b315da7f0630d197d07bd4e11e4777d60","observation_id":"0ec3bb3f-9c57-481d-8880-f9ad93c78569","resolution":{"observed_at":"2026-08-12T16:21:50.409948Z","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":"2001.3089","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.990019Z","title":"Information and Computation 173(1), pp","venue":null,"work_id":"0044249e-ab6a-4729-a2a7-2811385ec3bd","year":2002},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.412776Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:ab384bbf8ea5069410c04e6e6f527b0b0c6680ea1186d675a2b5bdee08a85c5a","observation_id":"6b13bbe9-7244-4736-9ccf-f61ac2e62191","resolution":{"observed_at":"2026-08-12T16:21:50.993704Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.concur.2020.34","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.600011Z","title":null,"venue":null,"work_id":"cf332f33-c17a-453a-8c6b-8c012dc527be","year":2020},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.415214Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:c09e490392cec16c6088bbc0539384c15213ea3a6d1b0de956d14fce648ba66c","observation_id":"7dfec74c-ff24-49a2-b4f2-e480f0d4c1bd","resolution":{"observed_at":"2026-08-12T16:21:50.602569Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/cbo9780511840449","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.591999Z","title":"Cambridge University Press, doi:10.1017/CBO9780511840449","venue":null,"work_id":"072e19b9-e4cb-4e86-9a12-f32e61439049","year":2010},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.418011Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:2c4d129a378b35be424ba5d659720ad2ae7bcc1e5b7071593ebf556324f6277d","observation_id":"928475d9-5421-47a0-8890-e6afad2613eb","resolution":{"observed_at":"2026-08-12T16:21:50.595273Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-23217-6_18","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.584627Z","title":"In: International Conference on Concurrency Theory , Springer, pp","venue":null,"work_id":"f9533938-7f48-4845-b6fb-6219f7707cf0","year":2011},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.420405Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:1f9c5e7c187b3dc804a12db7ec8dee4ecb63e8491c1f099f5403806f3326a0ec","observation_id":"3fbd972e-2050-4b72-82d5-2edb2d9db710","resolution":{"observed_at":"2026-08-12T16:21:50.587125Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-05119-2_6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.577728Z","title":"In Martín Abadi & Alberto Lluch La- fuente, editors: Trustworthy Global Computing , Springer International Publishing, Cham, pp","venue":null,"work_id":"c890d8f4-0da2-43dd-939e-42dbb2403fc8","year":2014},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.423860Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:26687f472e80c6c53663061814aac0549430e7aa087043736d339c7ec70312b5","observation_id":"cc0c53f7-a468-4bad-987f-a1d099f47a47","resolution":{"observed_at":"2026-08-12T16:21:50.580360Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-47958-3_6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.570736Z","title":"In Atsushi Igarashi, editor: Programming Languages and Systems , Springer International Publishing, Cham, pp","venue":null,"work_id":"f4c46bf7-dad1-4c76-92f0-8fbcccbb4bcf","year":2016},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.426287Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:349e72867cd21b462020148894add50ce3d8f5c44f2f331b1315e8e2dbf23323","observation_id":"abab4fd1-257d-4792-8d04-ece93be2a597","resolution":{"observed_at":"2026-08-12T16:21:50.573497Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2024.105","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.563457Z","title":"Bendixen & Bjarke B","venue":null,"work_id":"136be066-d09e-4c95-92ec-9567a63329f1","year":2024},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.428768Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:2437a0e022f5cbb5dc360c08201a640873ab3b197c89df80401e2ab6f10079bb","observation_id":"291f6c65-5029-4f1a-b62c-1741fcb85581","resolution":{"observed_at":"2026-08-12T16:21:50.566139Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0167-6423(02)00034-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.555745Z","title":null,"venue":null,"work_id":"40756b30-fc8a-4f74-b208-ca9827152390","year":2002},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.434417Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:e43d34086c66f86f0a0b6a5f64da1010067fc8b623df3016bb7e28c2f1ae1994","observation_id":"3b60f677-cb28-48dc-a4c5-3ff459a2fb52","resolution":{"observed_at":"2026-08-12T16:21:50.558662Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:50.438569Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.438569Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:9f4a51868dd802b5e36f4b38fc65ea0ae9787f3f04760a2037a052c5568dc153","observation_id":"1b357cc2-5df8-4c02-9f35-bdee637028c4","resolution":{"observed_at":"2026-08-12T16:21:50.438569Z","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-12T16:21:50.440974Z","title":"Informa- tion and Computation 297, p","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.440974Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:16bc36d6b8fa31df1e65f73b2ebbd8404cb9e31bba58b96be4254af0fdc3ca61","observation_id":"5e5fd852-149d-42b2-8084-a2673c5029b8","resolution":{"observed_at":"2026-08-12T16:21:50.440974Z","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-12T16:21:51.044925Z","title":"Mathematical structures in computer science 2(2), pp","venue":null,"work_id":"fc8f9feb-8004-441b-a8e2-191ec85e6240","year":1992},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.443036Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:f9583c45614721cb07a93fe76fd03bd95a1d33c790b52179ad401ae0c94aa9d1","observation_id":"672d7ac9-670b-4290-8d59-96eab535d02b","resolution":{"observed_at":"2026-08-12T16:21:51.047704Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.544203Z","title":"In: Logic and Algebra of Specification , Springer Berlin Heidelberg, pp","venue":null,"work_id":"87c462ac-ebaf-42a2-8e42-af28bbc08dd3","year":1993},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.445056Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:0825fd0fe403d7fc3eb7336a9377732f4255d24c000aa37c4c308456aba0e61c","observation_id":"875f4433-1acd-4f56-a2b5-57af022e356a","resolution":{"observed_at":"2026-08-12T16:21:50.547313Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:50.447216Z","title":"Information and Computation 100(1), pp","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.447216Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:a23dfd3126d3918887c8788ebc9ae7b71bd3066d1bef983fc2710950590c1948","observation_id":"98c30718-2166-41da-962f-ccec15cd1aa4","resolution":{"observed_at":"2026-08-12T16:21:50.447216Z","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-12T16:21:51.037737Z","title":"In: ECOOP’99 Workshops, LNCS 1743, Springer, pp","venue":null,"work_id":"7941be4d-fe8f-47c0-9130-8290c93f0ece","year":1999},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.449846Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:bce42a47e238eb1827f03b89fb99fc0510530e86590e1da499bff01320e7e9a1","observation_id":"52f6c31d-2c6e-4443-a58f-0e98fbeb7f3e","resolution":{"observed_at":"2026-08-12T16:21:51.040536Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:50.452197Z","title":"Springer- V erlag London, doi:10.1007/978-1-84628-692-6","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.452197Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:ad9f2015cb9d417d6db3608c576408c271004ca5bafb88810a3567fe03902657","observation_id":"8bcb6f73-9bf9-4a9c-a882-906fda69f13e","resolution":{"observed_at":"2026-08-12T16:21:50.452197Z","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-12T16:21:50.454719Z","title":"In: Handbook of Process Algebra , Elsevier, pp","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.454719Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:3541ce16d0d27cf1472cfece2be02c98ba40adbb214e061377f26873089e6813","observation_id":"40a1b01d-a806-400d-b961-916365616f5f","resolution":{"observed_at":"2026-08-12T16:21:50.454719Z","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.entcs.2008.04","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.525810Z","title":"In: Emerging Trends in Concurrency Theory , ENTCS 209, Elsevier, pp","venue":null,"work_id":"a2420435-49a4-4eb8-87e2-751989814751","year":2006},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.457287Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:5d53337faa974bf4124b0520a31112d40268fc32bc6474a4919557ee0a521018","observation_id":"aebaba53-5f5a-4633-bfb0-44a59eba723c","resolution":{"observed_at":"2026-08-12T16:21:50.528579Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129513000170","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.518057Z","title":"Mathematical Structures in Computer Science 24(2), doi:10.1017/S0960129513000170","venue":null,"work_id":"7c424b1f-7d84-4fe3-acb2-870c5994a04e","year":2014},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.459867Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:1627f47f97cfa99649e1376cb908fef91dfbefe6f374f9efa52e8c339e0bc5b3","observation_id":"12154d33-947e-497b-8cad-27ec34c662d5","resolution":{"observed_at":"2026-08-12T16:21:50.521157Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:50.462539Z","title":"van Glabbeek (2015): Analysing and Comparing Encodability Criteria","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.462539Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:4202119f18e9bbf153b9cd60d8c13f04eac199e366aad08aec9c2075c82c4737","observation_id":"ff732233-5f93-45fb-8ff5-b6f949705523","resolution":{"observed_at":"2026-08-12T16:21:50.462539Z","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":"1993.28757","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.887211Z","title":"In: [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Comput er Science , IEEE, pp","venue":null,"work_id":"7b7e16aa-37bd-438e-a205-d753b9555fed","year":1993},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.465020Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:dbf3322702f528c2c83318bea6410e0fea760d8d119a88b83ef7c69bf7692e86","observation_id":"145912c7-11c3-42b8-a230-ffe92d817147","resolution":{"observed_at":"2026-08-12T16:21:50.890803Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:51.030171Z","title":"Pierce & David N","venue":null,"work_id":"83fb689c-779f-4510-94eb-1fcedbeb4fc3","year":2000},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.468616Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:d7f20334eb1988d5f711d0eac7c49301214f3ff3dd8f21a4d1a13a7f4d34de1d","observation_id":"ee276809-f1e9-4e4b-9453-e5ffa4dc58db","resolution":{"observed_at":"2026-08-12T16:21:51.032856Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-5483","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.504229Z","title":"Mosses (2014): Deriving Pretty-Big-Step Semantics from Small-Step Se- mantics","venue":null,"work_id":"2371c208-328e-49bd-acc0-230f1d422a2f","year":2014},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.471285Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:069477b1ec4c0e04ba6ecb88d2d009fc88e6854c7e5bd4ea6885f13257b82f1c","observation_id":"512be608-ca70-41fc-b68d-4d92efde698c","resolution":{"observed_at":"2026-08-12T16:21:50.508709Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:51.022748Z","title":"Technical Report, 17-96, Dep","venue":null,"work_id":"71746a6f-2dc0-4d6e-acd4-d6bde61bd453","year":1996},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.474419Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:7242b91e0ae8d7cb2eed6925868b52cb3e8350bfde12c97cf7c7c2c601f85d07","observation_id":"fab2ac2d-578f-4583-958b-ea58b9c1053d","resolution":{"observed_at":"2026-08-12T16:21:51.025416Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1998.2711","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.828952Z","title":null,"venue":null,"work_id":"188cd378-ac7d-4f8d-a91e-e3621de6c4a1","year":1998},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.476613Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:0d19c11a5d1e6975e4838bfaac78c73db32aa422eff8c5f5a379fbc5ba26395b","observation_id":"6d124e1f-e171-43f5-8ee3-f4236e1a2e21","resolution":{"observed_at":"2026-08-12T16:21:50.832779Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:51.014841Z","title":"Cambridge university press","venue":null,"work_id":"a39c2c9d-9633-4c2b-9d8a-6c2a1fbc614d","year":2003},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.478969Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:1daf79c67821575f317b4ce09588d234e478f7a4953101499622393923b116f4","observation_id":"8fa288b6-b340-4ff7-8cc1-a718396b2470","resolution":{"observed_at":"2026-08-12T16:21:51.018270Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:51.006416Z","title":"Turner (1996): The Polymorphic Pi-calculus: Theory and Implementation","venue":null,"work_id":"98544a4f-ed5c-43fe-ba92-919021b72640","year":1996},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.481216Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:0917be5ce1dc88e7934cf10d631b0e59557a0ed6c3dbb88888050a6bf610649d","observation_id":"d608f091-3000-46f0-9918-8f09dba7a678","resolution":{"observed_at":"2026-08-12T16:21:51.010062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T16:21:50.998239Z","title":"In: Object-Oriented Computing III, Lecture Notes , Kindai Kagaku Sha","venue":null,"work_id":"65bfd6ce-3928-40d1-ae03-3ead0ff1f021","year":1995},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.485060Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:212b314f572990ecec12feaf767f4602b0657f11f3e1e84f6f819c0fc61697a0","observation_id":"7157f53e-2936-4a41-b444-9cb98b216f98","resolution":{"observed_at":"2026-08-12T16:21:51.001783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1995.1018","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T16:21:50.778516Z","title":"Information and Computation 116(2), pp","venue":null,"work_id":"453c26e3-4b5b-4c7c-a627-f65750075006","year":1995},"citing_paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T16:21:50.487747Z"},"links":{"citing_paper":"/paper/2411.13732"},"observation_digest":"sha256:65601446126c91cf1f7f74c19d1b988c70970b98c696e975b00a76ff712a481f","observation_id":"28df0bed-b5af-4bb5-b2ae-f386dc72cdfc","resolution":{"observed_at":"2026-08-12T16:21:50.782724Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.13732","last_updated":"2024-11-20T22:15:17Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-12T15:54:50.488948Z","submitted_at":"2024-11-20T22:15:17Z","title":"Typing Composite Subjects"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":10,"verified_exact":20,"verified_fuzzy":7},"total_outbound_references":38},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2411.13732."}