Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Internal Universes in Models of Homotopy Type Theory
As of 22 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:1801.07664.
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-22T06:32:14.747728+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-10T12:13:16.684251Z
A source-named dated measurement, never combined with another source.
Source: doi_reference, observed 2026-07-10T12:17:03.716080Z
Reference resolution
0 of 0 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
27
doi_reference, observed 2026-07-10T12:17:03.716080Z
Outbound references
No outbound reference observations are available for this paper version.
Pith citing papers
Observation ea0be765-cc0f-4364-9e1d-fa3db9616e09 · inbound
Constructive higher sheaf models with applications to synthetic mathematics cites this paper.
Constructive higher sheaf models with applications to synthetic mathematics Internal Universes in Models of Homotopy Type Theory
Reference 29
- Resolution
- verified exact
- doi, observed 2026-05-15T03:03:56.262146Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ee1a6b46-f608-4582-991a-4fbc8f1ed57a · inbound
Constructive higher sheaf models with applications to synthetic mathematics cites this paper.
Constructive higher sheaf models with applications to synthetic mathematics Internal Universes in Models of Homotopy Type Theory
Reference 29
- Resolution
- verified exact
- doi, observed 2026-05-20T20:13:43.167608Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6c74dff1-34e3-47b0-82c4-5a7a6b2f8aad · inbound
Directed proof-relevant logical relations in simplicial HoTT cites this paper.
Directed proof-relevant logical relations in simplicial HoTT Internal Universes in Models of Homotopy Type Theory
Reference 34
- Resolution
- metadata mismatch
- doi, observed 2026-07-10T12:17:03.718444Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.