Paper Citation Record · LEDGER

The $\delta$-calculus: from distinction to arithmetic

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

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

pith.paper-citation-record.v1
2607.29349 v1

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T08:54:59.804109Z

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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

17 of 17 outbound references displayed

verified exact0
verified fuzzy0
unresolved17
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 305bd111-8c59-4ae3-a2b5-2a40cabfd23d · outbound

This paper cites Birkhoff,On the structure of abstract algebras, Mathematical Proceedings of the Cambridge Philosophical Society,31(1935), 433–454.

The $\delta$-calculus: from distinction to arithmetic Birkhoff,On the structure of abstract algebras, Mathematical Proceedings of the Cambridge Philosophical Society,31(1935), 433–454

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:58.559022Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed22222c-68b4-4414-8ff5-23f945e7bd92 · outbound

This paper cites Bishop,Foundations of Constructive Analysis, New York, McGraw-Hill, 1967.

The $\delta$-calculus: from distinction to arithmetic Bishop,Foundations of Constructive Analysis, New York, McGraw-Hill, 1967

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:58.633961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 103fedaa-c54d-4c47-9513-50f483eb7a13 · outbound

This paper cites Bishop and D.

The $\delta$-calculus: from distinction to arithmetic Bishop and D

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:58.736463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 009a2aee-a171-42c1-ae4c-12d9643d38ed · outbound

This paper cites an unresolved cited work.

The $\delta$-calculus: from distinction to arithmetic Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:58.799759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c9928ec-9b9d-4827-af1a-06371af14c23 · outbound

This paper cites Crvenković, M.

The $\delta$-calculus: from distinction to arithmetic Crvenković, M

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:58.885107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81ad0a13-97ae-4307-ba97-91016cb6faad · outbound

This paper cites Crvenković, M.

The $\delta$-calculus: from distinction to arithmetic Crvenković, M

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:58.988347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2583303e-4b5f-400f-af40-56ab4a3c2db3 · outbound

This paper cites an unresolved cited work.

The $\delta$-calculus: from distinction to arithmetic Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:59.060367Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e76f6a3-9476-44ca-9f54-deb66d2b7088 · outbound

This paper cites de Moura and S.

The $\delta$-calculus: from distinction to arithmetic de Moura and S

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:59.145359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16ddf561-bd36-4f14-a932-fbedfecbe439 · outbound

This paper cites Ishihara,Reverse mathematics in Bishop’s constructive mathematics, Philosophia Scientiae, Cahier spécial 6 (2006), 43–59.

The $\delta$-calculus: from distinction to arithmetic Ishihara,Reverse mathematics in Bishop’s constructive mathematics, Philosophia Scientiae, Cahier spécial 6 (2006), 43–59

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:59.197775Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ebf8107-7671-4d70-b1f3-93a85a055b62 · outbound

This paper cites an unresolved cited work.

The $\delta$-calculus: from distinction to arithmetic Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:59.281476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76db3022-48f4-41a9-b160-3a90dfff09d6 · outbound

This paper cites an unresolved cited work.

The $\delta$-calculus: from distinction to arithmetic Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:59.363060Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17eaac20-b827-4fb5-9adc-725c88443a51 · outbound

This paper cites Mitrović, M.

The $\delta$-calculus: from distinction to arithmetic Mitrović, M

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:59.448610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df164ccc-aafd-4583-93a6-ba905824b516 · outbound

This paper cites Spencer-Brown,Laws of Form, George Allen and Unwin, 1969.

The $\delta$-calculus: from distinction to arithmetic Spencer-Brown,Laws of Form, George Allen and Unwin, 1969

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:59.537517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f6f79ba-a390-4c98-af2e-4c6de7bf5c45 · outbound

This paper cites van Dalen,Logic and Structure, 5th ed., Universitext, Springer London, 2013.

The $\delta$-calculus: from distinction to arithmetic van Dalen,Logic and Structure, 5th ed., Universitext, Springer London, 2013

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:59.626824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dda481d7-b687-46b8-92e9-c852ceb31063 · outbound

This paper cites Washburn, M.

The $\delta$-calculus: from distinction to arithmetic Washburn, M

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:59.695210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f7361b7-06d7-465c-bbfe-81198120bd94 · outbound

This paper cites an unresolved cited work.

The $\delta$-calculus: from distinction to arithmetic Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:59.742130Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 452b44ac-eee1-44fe-a555-43e8d80486e3 · outbound

This paper cites an unresolved cited work.

The $\delta$-calculus: from distinction to arithmetic Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T08:54:59.804109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.