Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T12:17:52.432599Z
Paper Citation Record · LEDGER
Free Theorems Simply, via Dinaturality
As of 16 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:1908.07776.
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-16T06:30:59.297886+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
14 of 14 outbound references displayed
- verified exact0
- verified fuzzy9
- unresolved5
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation b3fa5a27-c354-4459-8f46-0687ec08c595 · outbound
This paper cites an unresolved cited work.
Free Theorems Simply, via Dinaturality Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T12:17:52.903588Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 162445bf-736e-4940-ba81-a16beec9098d · outbound
This paper cites an unresolved cited work.
Free Theorems Simply, via Dinaturality Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T12:17:52.876266Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 276b771d-f8cb-4597-bee6-16618828bf62 · outbound
This paper cites an unresolved cited work.
Free Theorems Simply, via Dinaturality Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T12:17:52.850923Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 027f1e9e-f21b-4122-8503-844f2bf89eef · outbound
This paper cites an unresolved cited work.
Free Theorems Simply, via Dinaturality Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T12:17:52.829668Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a4e9e0b2-1d11-4f46-b1e2-4d7c0be4a692 · outbound
This paper cites Theo- retical Computer Science 70(1), 35–64 (1990).
Free Theorems Simply, via Dinaturality Theo- retical Computer Science 70(1), 35–64 (1990)
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:17:52.807143Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 63c718e9-f852-4d1e-a0ac-a2c4afd8bb42 · outbound
This paper cites In: Logic in Computer Science, Proceedings.
Free Theorems Simply, via Dinaturality In: Logic in Computer Science, Proceedings
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:17:52.778140Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9b5772ee-3073-4841-9b0a-e1b5551bb5ce · outbound
This paper cites In: Func- tional Programming Languages and Computer Architecture, Proceedings.
Free Theorems Simply, via Dinaturality In: Func- tional Programming Languages and Computer Architecture, Proceedings
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:17:52.749451Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 640acf62-0a9e-4374-b79a-6c6ba6915c03 · outbound
This paper cites an unresolved cited work.
Free Theorems Simply, via Dinaturality Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T12:17:52.716523Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 17061751-20c7-4081-aadc-baf108364048 · outbound
This paper cites In: Principles of Programming Languages, Proceedings.
Free Theorems Simply, via Dinaturality In: Principles of Programming Languages, Proceedings
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:17:52.684001Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 18f4909f-cc0a-4c14-9aa7-f0d6adb75bf7 · outbound
This paper cites In: Principles and Practice of Declarative Programming, Proceedings.
Free Theorems Simply, via Dinaturality In: Principles and Practice of Declarative Programming, Proceedings
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:17:52.641115Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e216403b-60b7-4065-8a80-7c5e83704a1b · outbound
This paper cites In: Programming Language Design and Implementation, Proceedings.
Free Theorems Simply, via Dinaturality In: Programming Language Design and Implementation, Proceedings
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:17:52.592127Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c7855946-066c-447a-b1a5-7c78aa454294 · outbound
This paper cites In: Information Processing, Proceedings.
Free Theorems Simply, via Dinaturality In: Information Processing, Proceedings
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:17:52.566745Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 474719eb-41c5-43f7-a9b3-deacd8632534 · outbound
This paper cites In: Typed Lambda Calculi and Applications, Proceedings.
Free Theorems Simply, via Dinaturality In: Typed Lambda Calculi and Applications, Proceedings
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:17:52.536059Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 30e5e092-434a-479c-ad22-1cd6da7e66f6 · outbound
This paper cites map" (mono t pre post ) mono (Maybe t) pre post = Map.
Free Theorems Simply, via Dinaturality map" (mono t pre post ) mono (Maybe t) pre post = Map
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:17:52.504592Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.