Paper Citation Record · LEDGER

Dependent Pearl: Normalization by realizability

As of 17 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:1908.09123.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1908.09123 v2

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T11:27:37.547189Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

26 of 26 outbound references displayed

verified exact5
verified fuzzy3
unresolved17
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f0ea45f3-70e4-4444-ac66-84dcb3a6ec5e · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:37.466405Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32b47d86-b04d-4fe9-9aba-e6b144af73f3 · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:27:38.298873Z

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 0707e553-2197-4a11-963f-8758bc18863a · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-08-14T11:27:37.768919Z

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 7e98331a-eeca-4cad-9e7d-d4b254d72043 · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-08-14T11:27:37.743375Z

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 695daab0-5bbb-4d5e-ba7e-e7622621a59a · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-14T11:27:37.727709Z

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 66400412-33be-4a51-9416-a84661601f62 · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:27:38.217477Z

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 58033e76-c0ed-4653-abbd-e181ff687044 · outbound

This paper cites In Applied Semantics, International Summer School, APPSEM.

Dependent Pearl: Normalization by realizability In Applied Semantics, International Summer School, APPSEM

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:37.525555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1587c1dc-d126-4494-9030-11a35175bca0 · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:37.538251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a79c0a8-6bc1-442e-be1c-a8736ffb33a6 · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:37.542587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bca9e1ac-25a1-45d7-9e15-8332b3d0f35e · outbound

This paper cites (August 2013).

Dependent Pearl: Normalization by realizability (August 2013)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:38.185273Z

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 61d2f1d1-5c69-4126-b4a6-34f56e8d12d4 · outbound

This paper cites The journal of symbolic logic 32, 2 (1967).

Dependent Pearl: Normalization by realizability The journal of symbolic logic 32, 2 (1967)

Reference 1967

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:37.534051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97ef8dd1-436b-4915-8d26-64071cca7ae9 · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 1985

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:27:38.283047Z

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 af0fef2f-ebe7-42b3-8b40-2c87fdcfdfc4 · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 1987

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:37.461624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02b12688-4087-42b0-bcf2-627e88a09811 · outbound

This paper cites Journal of Logic and Computation 2, 3 (1992), 297–347.

Dependent Pearl: Normalization by realizability Journal of Logic and Computation 2, 3 (1992), 297–347

Reference 1992

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:37.426838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2affec0a-5515-41a6-b12b-85991b709537 · outbound

This paper cites Higher order operational techniques in semantics (1998).

Dependent Pearl: Normalization by realizability Higher order operational techniques in semantics (1998)

Reference 1998

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:38.201649Z

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 2ea272bf-6e4b-46e6-be3a-83295ef4c88d · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 2000

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T11:27:38.037745Z

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 e4de43b2-ea06-4416-aec1-b6d1f08c0502 · outbound

This paper cites Higher-Order and Symbolic Computation (2007).

Dependent Pearl: Normalization by realizability Higher-Order and Symbolic Computation (2007)

Reference 2007

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:37.491874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a3147fb-e14d-4e18-8137-7660a82ca785 · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 2008

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:27:38.267024Z

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 7a1e8b51-5df7-42c3-8ac5-50e47246ad09 · outbound

This paper cites Panoramas et synthèses 27 (2009), 197–229.

Dependent Pearl: Normalization by realizability Panoramas et synthèses 27 (2009), 197–229

Reference 2009

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:38.249850Z

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 c4caaebb-3dcb-4653-9b18-e12e022dc402 · outbound

This paper cites In FoSSaCS.

Dependent Pearl: Normalization by realizability In FoSSaCS

Reference 2011

Resolution: verified exact; doi, observed 2026-08-14T11:27:37.821004Z

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 ed6b792d-aaf3-48a4-a270-4a7737ee16f3 · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 2012

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:27:38.233718Z

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 dd6a579b-f982-4b75-9c57-9d3fce082e14 · outbound

This paper cites In W ACT.

Dependent Pearl: Normalization by realizability In W ACT

Reference 2013

Resolution: verified exact; doi, observed 2026-08-14T11:27:37.785089Z

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 31935989-6438-47e3-96a0-eac48010f54b · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:37.432243Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f321855-519e-4971-82f3-3efb4095052f · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:37.456908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b147ab56-7b08-4631-8a5f-43aaea0dbc63 · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:37.442076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d02b9e3-e8ed-4c33-a78c-f2c584596e9f · outbound

This paper cites an unresolved cited work.

Dependent Pearl: Normalization by realizability Unresolved cited work

Reference 2018

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:27:38.314050Z

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.