Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T18:56:27.186833Z
Paper Citation Record · LEDGER
A 2-categorical approach to the semantics of dependent type theory with computation axioms
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
47 of 47 outbound references displayed
- verified exact3
- verified fuzzy24
- unresolved20
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation d6311d25-b689-4c16-bc8e-4962e8367ca3 · outbound
This paper cites Ahrens, P.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Ahrens, P
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.793215Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e84c1a68-299d-4197-a27b-8718b6e65228 · outbound
This paper cites Ahrens, P.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Ahrens, P
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.785725Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 412576fd-990c-447c-979e-c148c944e3f4 · outbound
This paper cites Altenkirch and J.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Altenkirch and J
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T18:56:25.534020Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9e2a223c-442c-4b97-a22d-59f6139421a1 · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.778517Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a6aa7a06-fe32-46c9-ba69-060d7b86808c · outbound
This paper cites Awodey, N.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Awodey, N
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.771361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 64c381da-735e-46db-bbac-558a23ebaf29 · outbound
This paper cites Awodey, N.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Awodey, N
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.763462Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0a8205f2-7318-453e-8924-34ee4fe73645 · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.756532Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 472bf7fb-8c16-4b44-93b7-71c3526cf4cc · outbound
This paper cites Bezem, T.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Bezem, T
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.749194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e7d92dbf-c770-4b77-92e7-9aace165613a · outbound
This paper cites Coherence of strict equalities in dependent type theories.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Coherence of strict equalities in dependent type theories
Reference 9
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T18:56:27.379339Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a2084b07-f1fa-4d24-bb6c-1e6a15c45c8c · outbound
This paper cites Strictificationofweaklystabletype-theoreticstructuresusinggenericcontexts.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Strictificationofweaklystabletype-theoreticstructuresusinggenericcontexts
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.741773Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0c9f7613-ca5a-4528-85d4-cfc6618a5529 · outbound
This paper cites Boulier and T.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Boulier and T
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.734229Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 96131148-9133-4927-93a5-30d7ad352a5a · outbound
This paper cites Cartmell.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Cartmell
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.727325Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b9b6fc3a-8265-4eb0-a32b-ce6ac60f2e7a · outbound
This paper cites Clairambault and P.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Clairambault and P
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.719675Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 78973ad8-271e-4957-b0f9-d7354af04b22 · outbound
This paper cites Cohen, T.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Cohen, T
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.712378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0fafdee0-6be7-43a6-92bb-d13a145db951 · outbound
This paper cites Coquand and N.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Coquand and N
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.705534Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 488cd12d-2d36-45a0-9698-d7a5df3648e9 · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.698609Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 52a356cb-8172-425e-ad1b-aa31dd19197c · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.690075Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4c78e9c4-7459-45b1-b581-219a7499f877 · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.682863Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8a552abf-ce88-4871-a96d-591f9ba742a1 · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.675264Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d980f3c7-5b45-4ea8-986e-3355338b068f · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.668175Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 618fbf45-1f2a-4a39-b544-59f4dc55bb97 · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.661065Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 474414e4-d8e9-4f4f-b3bf-8e9cada5fa89 · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.653908Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fbef4d2e-632b-457f-aff6-a198176ca6f5 · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.647200Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c69c1eb6-a04b-4f94-81f9-260f9fba058c · outbound
This paper cites Hofmann and T.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Hofmann and T
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.639488Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d8c835b5-ea98-42fb-a8cc-4f4b53c6c704 · outbound
This paper cites Hofmann and T.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Hofmann and T
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.632041Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 5e39dd1b-a562-4ab7-92ba-9bd667d3535a · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.624818Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0f9d599f-526e-4810-9c7e-fc32602a4c4b · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.617637Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d0b758d7-9006-47a9-9cef-218060311cf6 · outbound
This paper cites Kapulkin and P.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Kapulkin and P
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.610896Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e5883e1f-87b0-46c8-b795-d591105276de · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.603152Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ae69fe89-5963-4c9e-ba36-796857babf2e · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.596042Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f38c7932-678c-4d14-a769-dc685958833f · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.589329Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 58e43994-f1e8-4517-9650-9113ab63bba2 · outbound
This paper cites Dialecticamodelsoftypetheory.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Dialecticamodelsoftypetheory
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.582272Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 689f894d-a742-4f91-813b-c6c3b89426da · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.575146Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e51bf3aa-ad3d-4d64-921f-21c63cf191a7 · outbound
This paper cites Otten and M.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Otten and M
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.568080Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2d1a2b8f-452d-4737-bbe2-2119a3462cc7 · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.560768Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c0d7a19c-ad4b-4a5c-ae9c-68b13cfe84b1 · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.553139Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 17cefab5-f4ad-4182-82bf-3f5f8aea7e9b · outbound
This paper cites Spadetto.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Spadetto
Reference 37
- Resolution
- verified exact
- raw_fallback, observed 2026-08-06T18:56:27.366482Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation af56248e-72f8-49a8-a410-7ab58dcc13aa · outbound
This paper cites Spadetto.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Spadetto
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.545955Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4b1ea306-398e-43d1-8563-77d929d672a0 · outbound
This paper cites Correctness of the Interpretation of the Calculus of Constructions in Doctrines of Constructions, pages 156–220.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Correctness of the Interpretation of the Calculus of Constructions in Doctrines of Constructions, pages 156–220
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.538060Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 7a98f28d-40b2-4777-8039-9199679b9ea6 · outbound
This paper cites Streicher.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Streicher
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.530088Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 639a7048-fbf1-4a4b-a33a-fe9344097b60 · outbound
This paper cites Streicher.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Streicher
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.522323Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation cf3862fa-4689-4967-88c2-4e04b49c0bab · outbound
This paper cites Taylor.Practical foundations of mathematics, volume 59 ofCambridge Studies in Ad- vanced Mathematics.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Taylor.Practical foundations of mathematics, volume 59 ofCambridge Studies in Ad- vanced Mathematics
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.513387Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9cd84439-1681-45d6-aee1-18c8d25dfaa5 · outbound
This paper cites van den Berg.
A 2-categorical approach to the semantics of dependent type theory with computation axioms van den Berg
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.505377Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 532b5722-d986-4f9a-99b2-3a655914322b · outbound
This paper cites Quadratic type checking for objective type theory.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Quadratic type checking for objective type theory
Reference 44
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T18:56:27.216100Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ef2ed839-7f2a-43a2-8f55-06bc32e03544 · outbound
This paper cites van den Berg and I.
A 2-categorical approach to the semantics of dependent type theory with computation axioms van den Berg and I
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.497162Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d1a89751-5845-447e-97f3-e84e929fa10c · outbound
This paper cites an unresolved cited work.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T18:56:27.489577Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c4298718-11f9-4194-ac8f-661cc7c210c1 · outbound
This paper cites Winterhalter.Formalisation and meta-theory of type theory.
A 2-categorical approach to the semantics of dependent type theory with computation axioms Winterhalter.Formalisation and meta-theory of type theory
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T18:56:27.481955Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Pith citing papers
No inbound Pith citation observations are available.