Paper Citation Record · LEDGER

A Gentzen-style monadic translation of G\"odel's System T

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

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

pith.paper-citation-record.v1
1908.05979 v2

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:03:52.150883Z

measured 27 of 27 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

27 of 27 outbound references displayed

verified exact14
verified fuzzy4
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ee4e88ee-4f3e-4bc1-bd64-cbccea1b8193 · outbound

This paper cites The R ussell-- P rawitz modality.

A Gentzen-style monadic translation of G\"odel's System T The R ussell-- P rawitz modality

Reference 1

Resolution: verified exact; doi, observed 2026-08-14T13:03:52.341775Z

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 af7db49c-866f-42bd-b76d-370bebefa11d · outbound

This paper cites The A gda W iki.

A Gentzen-style monadic translation of G\"odel's System T The A gda W iki

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:03:52.630185Z

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 6c66988d-adf5-42e2-8aba-e7640de72eb3 · outbound

This paper cites On Affine Logic and {\L}ukasiewicz Logic.

A Gentzen-style monadic translation of G\"odel's System T On Affine Logic and {\L}ukasiewicz Logic

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:03:52.585714Z

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 9130e76f-36fd-49ac-8484-d0d8f9372978 · outbound

This paper cites CPS translating inductive and coinductive types.

A Gentzen-style monadic translation of G\"odel's System T CPS translating inductive and coinductive types

Reference 4

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T13:03:52.570338Z

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 3403ba09-d940-4456-94d1-759e5c302ec8 · outbound

This paper cites an unresolved cited work.

A Gentzen-style monadic translation of G\"odel's System T Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T13:03:52.067302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99dfc2af-1862-4347-80af-c171903d8f63 · outbound

This paper cites A note on forcing and type theory.

A Gentzen-style monadic translation of G\"odel's System T A note on forcing and type theory

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-14T13:03:52.071236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 867707f1-317e-4204-b3ce-c2ec4a2ed748 · outbound

This paper cites Escard\'o.

A Gentzen-style monadic translation of G\"odel's System T Escard\'o

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T13:03:52.075427Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd08d2b9-3a15-48f8-87b8-4ca1dc3edd75 · outbound

This paper cites Escard \'o and Paulo Oliva.

A Gentzen-style monadic translation of G\"odel's System T Escard \'o and Paulo Oliva

Reference 8

Resolution: verified exact; doi, observed 2026-08-14T13:03:52.311218Z

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 84a6d0e7-d396-412e-ad54-0b73056afa1e · outbound

This paper cites Escard \'o and Chuangjie Xu.

A Gentzen-style monadic translation of G\"odel's System T Escard \'o and Chuangjie Xu

Reference 9

Resolution: verified exact; doi, observed 2026-08-14T13:03:52.299577Z

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 fa7acf9d-f792-4c03-8285-ac9d8338dee8 · outbound

This paper cites an unresolved cited work.

A Gentzen-style monadic translation of G\"odel's System T Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-14T13:03:52.288304Z

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 4c8ac74a-8ffb-42e5-b9c6-fbf98768dfec · outbound

This paper cites an unresolved cited work.

A Gentzen-style monadic translation of G\"odel's System T Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-14T13:03:52.090656Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4462d821-fa89-4273-bbdf-311771ee0269 · outbound

This paper cites A note on the G \"odel- G entzen translation.

A Gentzen-style monadic translation of G\"odel's System T A note on the G \"odel- G entzen translation

Reference 12

Resolution: verified exact; doi, observed 2026-08-14T13:03:52.270393Z

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 1e652e5b-241d-410d-9f08-42d9fe602f1e · outbound

This paper cites Pointwise hereditary majorization and some applications.

A Gentzen-style monadic translation of G\"odel's System T Pointwise hereditary majorization and some applications

Reference 13

Resolution: verified exact; doi, observed 2026-08-14T13:03:52.259469Z

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 a8f1059f-aed6-4a1e-b958-659d7c39dadd · outbound

This paper cites Applied Proof Theory: Proof Interpretations and their Use in Mathematics.

A Gentzen-style monadic translation of G\"odel's System T Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T13:03:52.103759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 243ce137-1185-4930-b03d-7ec0673242d5 · outbound

This paper cites Unifying functional interpretations.

A Gentzen-style monadic translation of G\"odel's System T Unifying functional interpretations

Reference 15

Resolution: verified exact; raw_fallback, observed 2026-08-14T13:03:52.511332Z

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 7905a3d9-fb51-46c4-a219-106c5039ecf4 · outbound

This paper cites On the relation between various negative translations.

A Gentzen-style monadic translation of G\"odel's System T On the relation between various negative translations

Reference 16

Resolution: verified exact; doi, observed 2026-08-14T13:03:52.241838Z

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 f6b621a3-4b00-4617-bcf1-7051feb56800 · outbound

This paper cites A direct proof of S chwichtenberg's bar recursion closure theorem.

A Gentzen-style monadic translation of G\"odel's System T A direct proof of S chwichtenberg's bar recursion closure theorem

Reference 17

Resolution: verified exact; doi, observed 2026-08-14T13:03:52.231030Z

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 238cccae-492b-4f0d-8a6d-60ddcf1d08c9 · outbound

This paper cites A functional interpretation with state.

A Gentzen-style monadic translation of G\"odel's System T A functional interpretation with state

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T13:03:52.118152Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9557a5ef-fde5-4207-839d-dc8ebffd1e2a · outbound

This paper cites A unifying framework for continuity and complexity in higher types.

A Gentzen-style monadic translation of G\"odel's System T A unifying framework for continuity and complexity in higher types

Reference 19

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:03:52.357592Z

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 46fdc416-315a-4529-8a38-44c8f6c3d6d4 · outbound

This paper cites On bar recursion of types 0 and 1.

A Gentzen-style monadic translation of G\"odel's System T On bar recursion of types 0 and 1

Reference 20

Resolution: verified exact; doi, observed 2026-08-14T13:03:52.219849Z

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 8ba95e27-27e9-4745-9c60-3a777db710ab · outbound

This paper cites Logical relations and the typed lambda-calculus.

A Gentzen-style monadic translation of G\"odel's System T Logical relations and the typed lambda-calculus

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-14T13:03:52.129010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e7d85d8-b206-41e8-9720-fb7f2a83692e · outbound

This paper cites Basic Proof Theory , volume 43 of Cambridge tracts in theoretical computer science.

A Gentzen-style monadic translation of G\"odel's System T Basic Proof Theory , volume 43 of Cambridge tracts in theoretical computer science

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:03:52.618912Z

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 f4bffe22-4df1-41a1-a25d-a5af2dc4c726 · outbound

This paper cites Constructivism in mathematics, Vol.\ II , volume 123 of Studies in Logic and the Foundations of Mathematics.

A Gentzen-style monadic translation of G\"odel's System T Constructivism in mathematics, Vol.\ II , volume 123 of Studies in Logic and the Foundations of Mathematics

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:03:52.607991Z

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 0a4e900b-b8c8-4e7e-a67b-3d5aa968b192 · outbound

This paper cites Monad translating inductive and coinductive types.

A Gentzen-style monadic translation of G\"odel's System T Monad translating inductive and coinductive types

Reference 24

Resolution: verified exact; doi, observed 2026-08-14T13:03:52.202273Z

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 8cefbdbb-dd5e-47a2-b14b-08f033274700 · outbound

This paper cites A K uroda-style j-translation.

A Gentzen-style monadic translation of G\"odel's System T A K uroda-style j-translation

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-14T13:03:52.143434Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f277a314-736d-4d8b-9a5b-f9f5db5edc04 · outbound

This paper cites Sheaf models for choice sequences.

A Gentzen-style monadic translation of G\"odel's System T Sheaf models for choice sequences

Reference 26

Resolution: verified exact; doi, observed 2026-08-14T13:03:52.183206Z

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 d1e81986-4706-46e0-b618-86b127bb40f9 · outbound

This paper cites A syntactic approach to continuity of T -definable functionals.

A Gentzen-style monadic translation of G\"odel's System T A syntactic approach to continuity of T -definable functionals

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:03:52.597167Z

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.