Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 6 inbound Pith citation observations for arXiv:2412.07475.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T15:42:45.873319Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-01T13:15:45.947362Z
0 of 0 outbound references displayed
External citation measurements
No source-named external measurement is stored.
No outbound reference observations are available for this paper version.
Observation 0dfbeaf6-44fc-4d95-817a-3b4a00c1f34b · inbound
Logical relations for call-by-push-value models, via internal fibrations in a 2-category Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
Reference 87
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 878288bd-78a0-4730-933c-224d856e5e74 · inbound
Exponentiable virtual double categories and presheaves for double categories Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
Reference 2024
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1c7b4fc5-2b54-4f14-ad06-a2ccf4bcbc95 · inbound
2-dimensional Lawvere theories, commutativity, and higher Day convolution Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dde841b1-38da-4dae-9c2e-295b7dca9509 · inbound
Compositionality of Lyapunov functions via assume-guarantee reasoning Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 45a9ab00-4ba0-47c2-b827-dcd0e511b600 · inbound
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 2d976409-5cbb-4e64-b9ec-788f750f7da3 · inbound
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.