Paper Citation Record · LEDGER

Well-Scoped Locally Nameless Representation of Syntax

As of 17 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2605.08990.

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

pith.paper-citation-record.v1
2605.08990 v1

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-12T01:51:32.352402Z

measured 38 of 38 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-30T16:20:49.319289Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

37 of 37 outbound references displayed

verified exact1
verified fuzzy18
unresolved18
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1be6a527-f4a2-4548-a83d-cffd45d1cc30 · outbound

This paper cites Abel.Normalization by Evaluation: Dependent Types and Impredicativity.

Well-Scoped Locally Nameless Representation of Syntax Abel.Normalization by Evaluation: Dependent Types and Impredicativity

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.331447Z

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 83166dfe-7611-42c5-a021-93341d6c01c3 · outbound

This paper cites A Graded Modal Dependent Type Theory with Erasure, Formalized.

Well-Scoped Locally Nameless Representation of Syntax A Graded Modal Dependent Type Theory with Erasure, Formalized

Reference 2

Resolution: verified exact; local_arxiv, observed 2026-05-12T07:51:29.155889Z

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 aa8e2cb4-e4ce-4092-8516-6f7ae560d455 · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.343802Z

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 6ec555a3-b683-47af-b056-84cfe5a63b30 · outbound

This paper cites Altenkirch, M.

Well-Scoped Locally Nameless Representation of Syntax Altenkirch, M

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.375838Z

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 e888e067-e4a4-4342-8fda-b20e92144d08 · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.329629Z

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 114ad8a7-e157-4a17-aed5-1b902f8bf3ce · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.367668Z

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 f00f3315-8c68-4563-a3d8-4a9efaa5f7f7 · outbound

This paper cites Berger and H.

Well-Scoped Locally Nameless Representation of Syntax Berger and H

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.360433Z

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 274ecd4d-d28d-4074-a14c-682fe9a6478b · outbound

This paper cites Charguéraud.

Well-Scoped Locally Nameless Representation of Syntax Charguéraud

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.362121Z

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 9e4e2822-91b9-4ad6-9eca-6d9c67cefffa · outbound

This paper cites Cockx, D.

Well-Scoped Locally Nameless Representation of Syntax Cockx, D

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.354355Z

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 2897c8c9-276d-455f-a87c-3cc51e89baef · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.349045Z

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 ffdc2bfa-7781-4de2-b736-e975681f3b64 · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.334995Z

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 de6db538-1fb0-4cac-a7f6-7137412de36b · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.340510Z

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 9772dbfd-65f3-4ab6-b5c7-4f919fb7d310 · outbound

This paper cites de Moura and S.

Well-Scoped Locally Nameless Representation of Syntax de Moura and S

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.338815Z

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 37268385-753f-40f3-8809-dd20ce07a184 · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.322482Z

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 f085aab1-236c-4ed5-9986-74dc28d9eaec · outbound

This paper cites Semantic analysis of normalisation by evaluation for typed lambda calculus.

Well-Scoped Locally Nameless Representation of Syntax Semantic analysis of normalisation by evaluation for typed lambda calculus

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.350876Z

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 3aa506f7-288b-4251-9ec7-201c58906d60 · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.365950Z

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 5c09ca90-d608-4e8f-bfc9-6411988175b6 · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.342162Z

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 cd7d9b1a-8c99-4309-bbbc-740549344ab4 · outbound

This paper cites Goguen, C.

Well-Scoped Locally Nameless Representation of Syntax Goguen, C

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.369970Z

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 25a8108e-3833-42fb-88d3-c5bb65f8aa37 · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.347051Z

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 9692707b-2e5f-4e3a-b970-49f4d0260efe · outbound

This paper cites Harper.Practical Foundation for Programming Languages, Second Edition.

Well-Scoped Locally Nameless Representation of Syntax Harper.Practical Foundation for Programming Languages, Second Edition

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.358277Z

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 ccdea847-3a34-4f27-a563-49892471f28a · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.333109Z

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 1fe9c740-8cea-4efe-8114-ca12d81ea9ad · outbound

This paper cites Martin-Löf.

Well-Scoped Locally Nameless Representation of Syntax Martin-Löf

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.373631Z

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 0d2adbd8-beff-45f5-8aa5-060fec59845e · outbound

This paper cites Milner, J.

Well-Scoped Locally Nameless Representation of Syntax Milner, J

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.324191Z

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 186c13ed-82fa-49fe-92b1-26a55402f20e · outbound

This paper cites Nipkow, L.

Well-Scoped Locally Nameless Representation of Syntax Nipkow, L

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.345412Z

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 8d29d285-7bd5-45fd-a65f-68320248dce0 · outbound

This paper cites Nordström, K.

Well-Scoped Locally Nameless Representation of Syntax Nordström, K

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.356498Z

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 b2db43a0-9c08-40d4-b44d-77ba397f8b25 · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.352622Z

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 a793b8fe-0d65-4a4b-88e9-25a55cca37e5 · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.325930Z

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 cad48d91-1567-499c-bc35-84a1af1d2e6c · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.363976Z

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 c794e87f-6efa-41cd-a449-cc422eb916a4 · outbound

This paper cites Well-Scoped Locally Nameless Representation of Syntax.

Well-Scoped Locally Nameless Representation of Syntax Well-Scoped Locally Nameless Representation of Syntax

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.336830Z

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 8efd585e-3366-4e14-ac96-b1ced731a324 · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.327755Z

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 bc86fd24-4f44-443d-823f-51b7e1a29f8b · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.371851Z

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 5ae7a1f6-dcbe-40ac-9d39-fcec9b2c65a2 · outbound

This paper cites Sewell, F.

Well-Scoped Locally Nameless Representation of Syntax Sewell, F

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.315239Z

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 a73f21b9-f6a7-45a2-99f6-743b10eff929 · outbound

This paper cites Stoughton.

Well-Scoped Locally Nameless Representation of Syntax Stoughton

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.320428Z

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 14f6d6c9-7345-481f-aec6-45c26ac9a817 · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.311049Z

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 2330d90a-bf18-4598-a6c9-163968c1550c · outbound

This paper cites Agda, version 2.8.0, July 2025.

Well-Scoped Locally Nameless Representation of Syntax Agda, version 2.8.0, July 2025

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.318739Z

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 76a1796d-08e8-42e0-af86-40bcb8cf53ba · outbound

This paper cites The Rocq prover, version 9.0, March 2025.

Well-Scoped Locally Nameless Representation of Syntax The Rocq prover, version 9.0, March 2025

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-05-13T16:32:58.313258Z

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 824cbb79-972b-4652-8abd-383c114cb87b · outbound

This paper cites an unresolved cited work.

Well-Scoped Locally Nameless Representation of Syntax Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-05-13T16:32:58.316990Z

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

Observation 0b416e7f-97a0-4637-8fb7-34addb3665ab · inbound

Setoids in Intensional Type Theory cites this paper.

Setoids in Intensional Type Theory Well-Scoped Locally Nameless Representation of Syntax

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:49.319289Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.