Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T22:13:38.458139Z
Paper Citation Record · LEDGER
Formal P-Category Theory and Normalization by Evaluation in Rocq
As of 15 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2505.07780.
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
18 of 18 outbound references displayed
- verified exact0
- verified fuzzy11
- unresolved7
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 5f156fa7-1555-4344-8f1c-59bbb73592f3 · outbound
This paper cites , Dybjer, P.
Formal P-Category Theory and Normalization by Evaluation in Rocq , Dybjer, P
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:13:39.455039Z
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 cf7b218a-03ae-400b-856a-2e23ebfc3c59 · outbound
This paper cites , Hofmann, M.
Formal P-Category Theory and Normalization by Evaluation in Rocq , Hofmann, M
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:13:39.444261Z
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 b6f9f33d-eb55-4d13-9c4d-f05fb912ed1e · outbound
This paper cites , Di Cosmo, R.
Formal P-Category Theory and Normalization by Evaluation in Rocq , Di Cosmo, R
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:13:39.433496Z
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 2cdd67bb-0b8c-4048-93c4-0419bbc02c5a · outbound
This paper cites , Gross, J.
Formal P-Category Theory and Normalization by Evaluation in Rocq , Gross, J
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:13:39.422067Z
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 94363769-4876-4d0a-aa14-fb6dea49d8c1 · outbound
This paper cites , Hur, C.-K.
Formal P-Category Theory and Normalization by Evaluation in Rocq , Hur, C.-K
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:13:39.408874Z
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 8794cdbd-270a-4800-9fec-1d43b1d69dfb · outbound
This paper cites and Schwichtenberg, H.
Formal P-Category Theory and Normalization by Evaluation in Rocq and Schwichtenberg, H
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:13:39.253444Z
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 4ea8b66d-956d-4b49-9c59-9af00c1becef · outbound
This paper cites , Dybjer, P.
Formal P-Category Theory and Normalization by Evaluation in Rocq , Dybjer, P
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:13:39.152048Z
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 b34350fc-7c37-4d6e-bdb8-579595b493c5 · outbound
This paper cites an unresolved cited work.
Formal P-Category Theory and Normalization by Evaluation in Rocq Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T22:13:39.140951Z
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 b9762d13-263e-420e-bc81-1a438e722515 · outbound
This paper cites an unresolved cited work.
Formal P-Category Theory and Normalization by Evaluation in Rocq Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T22:13:39.129116Z
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 e523cb3e-b4fa-4c70-9bf5-4a9f29e1a491 · outbound
This paper cites an unresolved cited work.
Formal P-Category Theory and Normalization by Evaluation in Rocq Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T22:13:39.116968Z
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 b5e726ce-aa5f-4b04-8ef6-4c9dfdcd3dfb · outbound
This paper cites , Cockx, J.
Formal P-Category Theory and Normalization by Evaluation in Rocq , Cockx, J
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:13:39.105663Z
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 89841a1b-f85b-4154-ba08-a77ba7babf35 · outbound
This paper cites , Chlipala, A.
Formal P-Category Theory and Normalization by Evaluation in Rocq , Chlipala, A
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:13:39.094526Z
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 0387839d-7ad6-4ff8-8f8a-ba59f9f97bc5 · outbound
This paper cites an unresolved cited work.
Formal P-Category Theory and Normalization by Evaluation in Rocq Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T22:13:38.833970Z
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 a082831a-7190-4d8f-9123-09f169c71592 · outbound
This paper cites an unresolved cited work.
Formal P-Category Theory and Normalization by Evaluation in Rocq Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T22:13:38.757632Z
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 fe8c8da0-c4aa-4192-acf7-f6d4163f82be · outbound
This paper cites an unresolved cited work.
Formal P-Category Theory and Normalization by Evaluation in Rocq Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T22:13:38.746242Z
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 c90db5dd-ed0d-4dc5-a227-2e5d9b40ad35 · outbound
This paper cites an unresolved cited work.
Formal P-Category Theory and Normalization by Evaluation in Rocq Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T22:13:38.731894Z
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 8cf52cc8-14cd-4b0b-b25f-5433a718bbf1 · outbound
This paper cites and Smith, J.
Formal P-Category Theory and Normalization by Evaluation in Rocq and Smith, J
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:13:38.720681Z
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 eec6be44-5882-4407-bef9-ceb2117eff97 · outbound
This paper cites The Lean Mathematical Library.
Formal P-Category Theory and Normalization by Evaluation in Rocq The Lean Mathematical Library
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:13:38.641327Z
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.