{"as_of":"2026-08-15T16:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:52c530ea62d89312c4ae7fbe3c162b7983434a74d1cdc7b1cd6b22c4bb493ec8","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T18:56:27.186833Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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/2507.07208/citation-record","integrity":"/paper/2507.07208/integrity","json":"/paper/2507.07208/citation-record.json","paper":"/paper/2507.07208"},"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-06T18:56:27.790674Z","title":"Ahrens, P","venue":null,"work_id":"3abbce51-1bd2-41c4-b45a-1d9604f63cf2","year":2022},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:25.414334Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:6f895705a78ae67e7f15e4729cb1cd9ed1bb0fb448800b1baf7faff413ac99af","observation_id":"d6311d25-b689-4c16-bc8e-4962e8367ca3","resolution":{"observed_at":"2026-08-06T18:56:27.793215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.783038Z","title":"Ahrens, P","venue":null,"work_id":"1fcaf05b-c6ea-4405-8100-8f01fd7b673c","year":2023},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:25.471289Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:e5123cdc98cbd70cba87128ec1c9e266b143a5e731dc2d4a137cf1ec6f1d78e1","observation_id":"e84c1a68-299d-4197-a27b-8718b6e65228","resolution":{"observed_at":"2026-08-06T18:56:27.785725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:25.534020Z","title":"Altenkirch and J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:25.534020Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:e4f8e01f8da9b38ae92fc0b5738ed27bb51fd4155d82317f22c24ff1f7cbbed4","observation_id":"412576fd-990c-447c-979e-c148c944e3f4","resolution":{"observed_at":"2026-08-06T18:56:25.534020Z","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-06T18:56:27.776128Z","title":null,"venue":null,"work_id":"b587fdf0-0580-4c27-8ad6-4ef3f364b0fe","year":2018},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:25.576432Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:8cb9ac045cad1b433abd2ea9dc8ee0af253c26921a125872913d6bea9e8602ca","observation_id":"9e2a223c-442c-4b97-a22d-59f6139421a1","resolution":{"observed_at":"2026-08-06T18:56:27.778517Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.768157Z","title":"Awodey, N","venue":null,"work_id":"7c65319f-e845-45b5-bbf1-ba0ba08cce9e","year":2012},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:25.639937Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:00cafc9f8c0a552f282877edd6a10ef1f0da27879fd360d34a4b20e8745fefea","observation_id":"a6aa7a06-fe32-46c9-ba69-060d7b86808c","resolution":{"observed_at":"2026-08-06T18:56:27.771361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.760952Z","title":"Awodey, N","venue":null,"work_id":"877ab8e3-d505-4035-8d19-c2cf998cef79","year":2017},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:25.675913Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:4cba9fc919a4ec8c3adb65cd85587a982ec48a9e38353037da8afec6769423e7","observation_id":"64c381da-735e-46db-bbac-558a23ebaf29","resolution":{"observed_at":"2026-08-06T18:56:27.763462Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.753766Z","title":null,"venue":null,"work_id":"49a56583-92a6-4d34-bc95-435064e4b462","year":1967},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:25.727932Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:b1652e28478a91abaa02e4d96f30d32f19c7758b1df43c3d6dd7589fef8e536f","observation_id":"0a8205f2-7318-453e-8924-34ee4fe73645","resolution":{"observed_at":"2026-08-06T18:56:27.756532Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.746467Z","title":"Bezem, T","venue":null,"work_id":"ffe3aa88-aac7-48c5-b6f9-2ed6cb458037","year":2014},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:25.852127Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:f38ec3c904611c1bf87306a269a5a7cadd7ca118401fc20639dcea736d5b4c45","observation_id":"472bf7fb-8c16-4b44-93b7-71c3526cf4cc","resolution":{"observed_at":"2026-08-06T18:56:27.749194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2010.14166","last_updated":"2020-10-27T09:51:30Z","snapshot_observed_at":"2026-08-15T13:51:48.825843Z","submitted_at":"2020-10-27T09:51:30Z","title":"Coherence of strict equalities in dependent type theories","version":1},"cited_work":{"arxiv_id":"2010.14166","doi":null,"metadata_source":"pith","pith_arxiv_id":"2010.14166","snapshot_observed_at":"2026-08-06T18:56:27.374341Z","title":"Coherence of strict equalities in dependent type theories","venue":"cs.LO","work_id":"79331401-aaf9-4a7e-948c-111d2deb544e","year":2020},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:25.900672Z"},"links":{"cited_paper":"/paper/2010.14166","citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:c4e915537adaa41ae80016faace6a537ea96e2fddb950b0d73cb201bf72f3a41","observation_id":"e7d92dbf-c770-4b77-92e7-9aace165613a","resolution":{"observed_at":"2026-08-06T18:56:27.379339Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.739363Z","title":"Strictificationofweaklystabletype-theoreticstructuresusinggenericcontexts","venue":null,"work_id":"fa69c97d-57ec-4657-b0f2-03aa6dc1c58a","year":2022},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:25.945309Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:3c8540ff49991e8575c2e49ae8cf2d8f55a83da899a576d95e348f0307ffaf87","observation_id":"a2084b07-f1fa-4d24-bb6c-1e6a15c45c8c","resolution":{"observed_at":"2026-08-06T18:56:27.741773Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.731766Z","title":"Boulier and T","venue":null,"work_id":"230db86b-65e0-4c26-b03b-ab4e0d8d6ac7","year":2019},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:26.111376Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:93172772bdd663bfaa5299c6b614bc1781dd37719c2ea851c314b82674c63cb0","observation_id":"0c9f7613-ca5a-4528-85d4-cfc6618a5529","resolution":{"observed_at":"2026-08-06T18:56:27.734229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.724882Z","title":"Cartmell","venue":null,"work_id":"9bb88545-c5b8-4249-9c94-e0e0e92b0517","year":1978},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:26.221054Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:45036230c4d73d9b86390fa636e2dffed9e850df5a17df50d1d94cfa02f28219","observation_id":"96131148-9133-4927-93a5-30d7ad352a5a","resolution":{"observed_at":"2026-08-06T18:56:27.727325Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.716988Z","title":"Clairambault and P","venue":null,"work_id":"5df15adb-5202-4fbd-9d72-84f69e7bebc4","year":2014},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:26.333986Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:90d9d35d19d793b20b1f5616b7899fadb2a1f8e4edc86a1f372f309cbd885818","observation_id":"b9b6fc3a-8265-4eb0-a32b-ce6ac60f2e7a","resolution":{"observed_at":"2026-08-06T18:56:27.719675Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.710010Z","title":"Cohen, T","venue":null,"work_id":"065f7988-745a-4d8a-99c4-a32696f7f16b","year":2018},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:26.505628Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:d733ab04cf0c81e397eed8f6641cced719f97a77d47a0a795e50d2272726bfd3","observation_id":"78973ad8-271e-4957-b0f9-d7354af04b22","resolution":{"observed_at":"2026-08-06T18:56:27.712378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.703166Z","title":"Coquand and N","venue":null,"work_id":"b38454aa-9319-4cdf-9297-6faa3d514a7e","year":2013},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:26.622273Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:dafc427a8d7a4ba5cb6cdc474526b1dcbb9f7038a8e5d326a6264731833b531a","observation_id":"0fafdee0-6be7-43a6-92bb-d13a145db951","resolution":{"observed_at":"2026-08-06T18:56:27.705534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.695571Z","title":null,"venue":null,"work_id":"2dcd9593-9939-4964-a2d1-6f4774a5d168","year":1995},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:26.740688Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:90088022b2d76a52b126dbf67fa9de00b03db6572217884371328ddf44e05a54","observation_id":"488cd12d-2d36-45a0-9698-d7a5df3648e9","resolution":{"observed_at":"2026-08-06T18:56:27.698609Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.687715Z","title":null,"venue":null,"work_id":"4a6251b3-d875-4398-976d-f5c7b5d20249","year":2009},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:26.854172Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:2f831ae1e834843c0606e1c32f556376dfd8ae8c34f51ac36126953f58dbdfdd","observation_id":"52a356cb-8172-425e-ad1b-aa31dd19197c","resolution":{"observed_at":"2026-08-06T18:56:27.690075Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.680275Z","title":null,"venue":null,"work_id":"71ae7cf6-9f0b-4b05-b2a3-ca450b642bc0","year":1974},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.044318Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:336ba4eda10d2f7d827ae5f83ae3caac07800aeedeb09df1a4fab5c802a47d4c","observation_id":"4c78e9c4-7459-45b1-b581-219a7499f877","resolution":{"observed_at":"2026-08-06T18:56:27.682863Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.672781Z","title":null,"venue":null,"work_id":"f596fd0f-91f2-409e-a79e-caf5a591730f","year":2013},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.114048Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:f444ca5dfb7ca891c0bba8d891ea529529aea002c98794b7476e80c9c1defbb9","observation_id":"8a552abf-ce88-4871-a96d-591f9ba742a1","resolution":{"observed_at":"2026-08-06T18:56:27.675264Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.665889Z","title":null,"venue":null,"work_id":"ae3b64ab-3a3d-48f2-b09e-6829d25a22fd","year":1995},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.117811Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:2a28731487d94a5ae143ba930c4a6afe269ba3c6c736671b780ba813fe8b78a5","observation_id":"d980f3c7-5b45-4ea8-986e-3355338b068f","resolution":{"observed_at":"2026-08-06T18:56:27.668175Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.658776Z","title":null,"venue":null,"work_id":"1d0c0be3-b1d6-40ba-8f85-730ded96e9af","year":1995},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.120298Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:98d63669db9829d9f37718e59ee539ee5875d32cd27efc3aba325c884eb435d0","observation_id":"618fbf45-1f2a-4a39-b544-59f4dc55bb97","resolution":{"observed_at":"2026-08-06T18:56:27.661065Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.651641Z","title":null,"venue":null,"work_id":"834db75f-9fbf-4218-80c8-0f7191f0d5fa","year":1996},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.122613Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:94b074740a8dc025df9a45484378bb21e4e547b7ced74d91b8005be1089f0fe1","observation_id":"474414e4-d8e9-4f4f-b3bf-8e9cada5fa89","resolution":{"observed_at":"2026-08-06T18:56:27.653908Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.644221Z","title":null,"venue":null,"work_id":"376ed268-8c49-4afd-a333-7b26e1ba0cfd","year":1997},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.125070Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:42e553f05dcba48dcdb3b51147361cddbc539ca63d284192f0092bcfbdc16596","observation_id":"fbef4d2e-632b-457f-aff6-a198176ca6f5","resolution":{"observed_at":"2026-08-06T18:56:27.647200Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.636752Z","title":"Hofmann and T","venue":null,"work_id":"1966dba8-b2e2-4284-9c0c-c01aa5cc4d7b","year":1994},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.127620Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:8107df652598e8fc694e0efa20b25545ba4c512cd3cae09f520e2b7dcd25b5e8","observation_id":"c69c1eb6-a04b-4f94-81f9-260f9fba058c","resolution":{"observed_at":"2026-08-06T18:56:27.639488Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.629681Z","title":"Hofmann and T","venue":null,"work_id":"701ec079-c806-4f37-83a8-1a9b83dfd379","year":1995},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.130885Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:b32f88fc07b1a9485792aefc9b7f018e5a5e9fd7d540cb4fc61dcd51139deb7c","observation_id":"d8c835b5-ea98-42fb-a8cc-4f4b53c6c704","resolution":{"observed_at":"2026-08-06T18:56:27.632041Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.622478Z","title":null,"venue":null,"work_id":"17466adc-1471-42b5-a164-e274db27f511","year":1993},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.133220Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:d5c4da24798af893f829e3ed4071daf1833359692392bec2b440fbadb592cc59","observation_id":"5e39dd1b-a562-4ab7-92ba-9bd667d3535a","resolution":{"observed_at":"2026-08-06T18:56:27.624818Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.615327Z","title":null,"venue":null,"work_id":"baa24013-7847-418c-ac08-789c38311089","year":1999},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.135706Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:5171aaf0853c12729918b400c571dcf0ca31c788bc8a45b6a88670258b86dbfd","observation_id":"0f9d599f-526e-4810-9c7e-fc32602a4c4b","resolution":{"observed_at":"2026-08-06T18:56:27.617637Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.607989Z","title":"Kapulkin and P","venue":null,"work_id":"07fdb96f-7dce-4b92-b7e9-9929d34a86bc","year":2021},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.138073Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:3d439ac51bbb3ed3e700a785732d7366d7487b0f8860f3597b76b09ccb999386","observation_id":"d0b758d7-9006-47a9-9cef-218060311cf6","resolution":{"observed_at":"2026-08-06T18:56:27.610896Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.600748Z","title":null,"venue":null,"work_id":"86578180-c79a-435a-b319-a5f084f8cc9d","year":2010},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.140605Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:7aa964c3f53dc798973e0e9ad58926dacae6cf1967b2538a2769cb7e51be4722","observation_id":"e5883e1f-87b0-46c8-b795-d591105276de","resolution":{"observed_at":"2026-08-06T18:56:27.603152Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.593725Z","title":null,"venue":null,"work_id":"7b823da8-634b-44fa-a6a4-b67768e61df7","year":2015},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.143015Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:3bce717f97a01b65ec7dca885a55ffc09bde5f873fe8b04c126b98b221657b2a","observation_id":"ae69fe89-5963-4c9e-ba36-796857babf2e","resolution":{"observed_at":"2026-08-06T18:56:27.596042Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.586753Z","title":null,"venue":null,"work_id":"503c835e-c311-43ac-9eca-6411d4c671fd","year":1991},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.145862Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:30b1e0922528cc9d4ea091d59da5664ac01a194a4dcbfde4b1304f8402e4e680","observation_id":"f38c7932-678c-4d14-a769-dc685958833f","resolution":{"observed_at":"2026-08-06T18:56:27.589329Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.579686Z","title":"Dialecticamodelsoftypetheory","venue":null,"work_id":"24aeb699-0400-44b6-8102-df3916b02b93","year":2018},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.148230Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:2605fb6ce6f000552f4b84844a1ec343c41338badd16631a399ef292a22a226c","observation_id":"58e43994-f1e8-4517-9650-9113ab63bba2","resolution":{"observed_at":"2026-08-06T18:56:27.582272Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.572599Z","title":null,"venue":null,"work_id":"d4d5e44d-7c6e-4119-aad2-9c0521ae71d5","year":2019},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.150804Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:7d86fd4f47ddd9a636171d9b1d3cad4163421ed0d7a5f72e109b8b90707902c2","observation_id":"689f894d-a742-4f91-813b-c6c3b89426da","resolution":{"observed_at":"2026-08-06T18:56:27.575146Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.565443Z","title":"Otten and M","venue":null,"work_id":"919a14a9-f1d1-45a4-b7b4-0414b26fb7dd","year":2024},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.153229Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:a1d07c6426c9c4ff4885601909231e949f5626cadb32241d36c265cd88e0ee2a","observation_id":"e51bf3aa-ad3d-4d64-921f-21c63cf191a7","resolution":{"observed_at":"2026-08-06T18:56:27.568080Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.558173Z","title":null,"venue":null,"work_id":"8ecd9b15-8bef-4e66-babe-89e16b51c725","year":2019},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.155608Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:a76d8f0b745dc1fcb8052b75e1a1500e8bfe8515903775868a657fec900f1d12","observation_id":"2d1a2b8f-452d-4737-bbe2-2119a3462cc7","resolution":{"observed_at":"2026-08-06T18:56:27.560768Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.550843Z","title":null,"venue":null,"work_id":"83249d6f-01bc-4f37-ae39-787b2cbfc5c7","year":1984},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.158536Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:5594c3b047f0f608784282b3336e3193cacd089d330015441f94bcb0bad58686","observation_id":"c0d7a19c-ad4b-4a5c-ae9c-68b13cfe84b1","resolution":{"observed_at":"2026-08-06T18:56:27.553139Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2303.05623","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:56:27.362443Z","title":"Spadetto","venue":null,"work_id":"5da61b49-ff6f-4461-a71c-d6bc0c4c3ae1","year":2023},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.161478Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:7c1568b7766367d9755763a8bb7f44c415782f35037da3ad41cf595846d7647d","observation_id":"17cefab5-f4ad-4182-82bf-3f5f8aea7e9b","resolution":{"observed_at":"2026-08-06T18:56:27.366482Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.543554Z","title":"Spadetto","venue":null,"work_id":"7a45c708-e37a-4dd7-b43c-0fb92dee06ec","year":2024},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.164007Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:788b816aa29aaf82dfd96a6a237c30ebcae5141475f6b7ac55c3f0b5fbf3002d","observation_id":"af56248e-72f8-49a8-a410-7ab58dcc13aa","resolution":{"observed_at":"2026-08-06T18:56:27.545955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.535129Z","title":"Correctness of the Interpretation of the Calculus of Constructions in Doctrines of Constructions, pages 156–220","venue":null,"work_id":"1fe26cb7-2515-452c-b4fe-c36ddcfe584d","year":1991},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.166402Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:5b05eddd8dd71a4c7e51f1f54f4070dd00ab076aaf93cb1eb5ad89f2f43e28bd","observation_id":"4b1ea306-398e-43d1-8563-77d929d672a0","resolution":{"observed_at":"2026-08-06T18:56:27.538060Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.527490Z","title":"Streicher","venue":null,"work_id":"f4dd3688-34f5-412c-a89b-60d81860d687","year":1991},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.168785Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:461e5f5d1ef4f04167540c66552ea087b00b8b8ebab7ac1d00ada555c76d342f","observation_id":"7a98f28d-40b2-4777-8039-9199679b9ea6","resolution":{"observed_at":"2026-08-06T18:56:27.530088Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.519536Z","title":"Streicher","venue":null,"work_id":"cacedf4d-d2be-4212-8fd9-e013e34eee49","year":2021},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.171775Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:e0eed2c3d38d60155068b95bf8ed4c5b57d297b61e3f4f9d3bfcfed0ace4d108","observation_id":"639a7048-fbf1-4a4b-a33a-fe9344097b60","resolution":{"observed_at":"2026-08-06T18:56:27.522323Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.510375Z","title":"Taylor.Practical foundations of mathematics, volume 59 ofCambridge Studies in Ad- vanced Mathematics","venue":null,"work_id":"96f6c77d-9baa-4a3a-a226-17005850edcb","year":1999},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.174128Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:a995387ddb271eba84eb8627584b9d890c6d4f9393673270aacb3d2cfec8d91e","observation_id":"cf3862fa-4689-4967-88c2-4e04b49c0bab","resolution":{"observed_at":"2026-08-06T18:56:27.513387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.502717Z","title":"van den Berg","venue":null,"work_id":"aec40da9-0db7-425b-bd18-ccc8754e3ed7","year":2018},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.176503Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:5ab16985188048091f1ea829ea54e446df5ad41cb7b21b07dcb807184ab2bd95","observation_id":"9cd84439-1681-45d6-aee1-18c8d25dfaa5","resolution":{"observed_at":"2026-08-06T18:56:27.505377Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2102.00905","last_updated":"2021-02-01T15:28:35Z","snapshot_observed_at":"2026-08-13T14:43:51.386977Z","submitted_at":"2021-02-01T15:28:35Z","title":"Quadratic type checking for objective type theory","version":1},"cited_work":{"arxiv_id":"2102.00905","doi":null,"metadata_source":"pith","pith_arxiv_id":"2102.00905","snapshot_observed_at":"2026-08-06T18:56:27.211429Z","title":"Quadratic type checking for objective type theory","venue":"cs.LO","work_id":"43b3cbeb-4b7b-4e6f-94e1-31443dc90f04","year":2021},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.179014Z"},"links":{"cited_paper":"/paper/2102.00905","citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:e3f1a3ff26d46d19f183be6429223baffff7d728fdefe223e44cda2474be3054","observation_id":"532b5722-d986-4f9a-99b2-3a655914322b","resolution":{"observed_at":"2026-08-06T18:56:27.216100Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.494716Z","title":"van den Berg and I","venue":null,"work_id":"cfab917f-bfc2-4100-9ffe-261174d0131b","year":2018},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.181927Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:4e894ca74369fe389cdfed093d0ea6d19ef730fe3522b82c1dd67e3ef59365df","observation_id":"ef2ed839-7f2a-43a2-8f55-06bc32e03544","resolution":{"observed_at":"2026-08-06T18:56:27.497162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.487071Z","title":null,"venue":null,"work_id":"a9f5c218-2453-4aff-999c-0a291efa853e","year":2018},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.184305Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:081e6c8409c0f827e2103d302a4b82d13f28e7c64872273ccb038ed419d0ad58","observation_id":"d1a89751-5845-447e-97f3-e84e929fa10c","resolution":{"observed_at":"2026-08-06T18:56:27.489577Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06T18:56:27.478816Z","title":"Winterhalter.Formalisation and meta-theory of type theory","venue":null,"work_id":"8dc66666-b461-4322-ad43-ea2c314a569d","year":2020},"citing_paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T18:56:27.186833Z"},"links":{"citing_paper":"/paper/2507.07208"},"observation_digest":"sha256:120a2d63a37abe387ea28ac0b7001cdd03bd5fee872aea16aab54ff153d6ba5a","observation_id":"c4298718-11f9-4194-ac8f-661cc7c210c1","resolution":{"observed_at":"2026-08-06T18:56:27.481955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.07208","last_updated":"2025-07-09T18:31:44Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-10T05:55:04.927136Z","submitted_at":"2025-07-09T18:31:44Z","title":"A 2-categorical approach to the semantics of dependent type theory with computation axioms"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":3,"verified_fuzzy":24},"total_outbound_references":47},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2507.07208."}