Paper Citation Record · LEDGER

Expressivity of AuDaLa: Turing Completeness and Possible Extensions

As of 7 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2412.14938.

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

pith.paper-citation-record.v1
2412.14938 v5

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-23T07:20:56.045365Z

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

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

16 of 16 outbound references displayed

verified exact12
verified fuzzy1
unresolved0
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 61085ad5-6cd9-4fdd-bf52-e18a8f368b2a · outbound

This paper cites [CDK14] Nathan Chong, Alastair F.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [CDK14] Nathan Chong, Alastair F

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-05-23T07:22:41.776506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6368c136-b772-405a-8488-960cb55ca63f · outbound

This paper cites [Cop24] B.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [Cop24] B

Reference 2

Resolution: malformed identifier; arxiv_id, observed 2026-05-23T07:22:43.191579Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d87e3258-e256-4e53-9dca-c58158892c2d · outbound

This paper cites de Boer et al.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions de Boer et al

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T08:27:45.828796Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 208bb1b4-1ee9-4f27-8a69-9922f3ff326f · outbound

This paper cites [DD02] J´ er´ emie Detrey and Oliver Diessel.A Constructive Proof of the Turing Completeness of Circal.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [DD02] J´ er´ emie Detrey and Oliver Diessel.A Constructive Proof of the Turing Completeness of Circal

Reference 4

Resolution: verified exact; doi, observed 2026-05-23T07:22:41.782631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3c3c6cc2-7487-4493-9a98-9b0f041c4d4a · outbound

This paper cites [FN24] Tom T.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [FN24] Tom T

Reference 5

Resolution: malformed identifier; doi_truncated, observed 2026-05-23T07:22:41.787039Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ce00fa87-f1ec-4d2d-a4d8-cf6fafe02810 · outbound

This paper cites [FNG23] Tom T.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [FNG23] Tom T

Reference 6

Resolution: malformed identifier; raw_fallback, observed 2026-05-23T08:27:45.831597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3859c65d-ec05-4e30-b037-58e0ed37a42f · outbound

This paper cites [G+08] Michael Garland et al.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [G+08] Michael Garland et al

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-23T07:22:43.185417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 89235f09-7b07-4474-83f3-ae328becaa36 · outbound

This paper cites [Gib15] Jeremy Gibbons.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [Gib15] Jeremy Gibbons

Reference 8

Resolution: verified exact; doi, observed 2026-05-23T07:22:41.800874Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation fb204ef1-1e46-4ba4-8a5a-789ef26c724b · outbound

This paper cites [HMU01] John E.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [HMU01] John E

Reference 9

Resolution: verified exact; doi, observed 2026-05-23T07:22:41.791882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 44618759-fde5-4006-88b2-08826d639f05 · outbound

This paper cites [Lee23] Gijs Leemrijse.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [Lee23] Gijs Leemrijse

Reference 10

Resolution: verified exact; doi, observed 2026-05-23T07:22:41.796222Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ac21327f-4632-4616-affa-f3d6e800b3e8 · outbound

This paper cites [QYZG17] Peng Qu, Jin Yan, You-Hui Zhang, and Guang R.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [QYZG17] Peng Qu, Jin Yan, You-Hui Zhang, and Guang R

Reference 11

Resolution: verified exact; doi, observed 2026-05-23T07:22:41.832091Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bca3a085-b72a-4772-8e01-b8cb741222d2 · outbound

This paper cites 30 T.T.P.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions 30 T.T.P

Reference 12

Resolution: verified exact; doi, observed 2026-05-23T07:22:41.827639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4ea7e0e8-166d-481a-8f31-5454830c8d0f · outbound

This paper cites [RL93] F.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [RL93] F

Reference 13

Resolution: verified exact; doi, observed 2026-05-23T07:22:41.811764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 42b5512d-33b4-4500-afe4-8c0bd3b1a3a2 · outbound

This paper cites [UA10] David Ungar and Sam S.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [UA10] David Ungar and Sam S

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-23T07:22:41.806936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e8dccc48-0b4b-4eb8-950d-4f93a541f59f · outbound

This paper cites [Wie84] Juraj Wiedermann.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions [Wie84] Juraj Wiedermann

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-05-23T07:22:41.823378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c11bd75b-672f-46fa-8c6c-e6ac5e774e2e · outbound

This paper cites This work is licensed under the Creative Commons Attribution License.

Expressivity of AuDaLa: Turing Completeness and Possible Extensions This work is licensed under the Creative Commons Attribution License

Reference 16

Resolution: verified exact; doi, observed 2026-05-23T07:22:41.816489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.