Paper Citation Record · LEDGER

Master Thesis Impredicative Encodings of Inductive and Coinductive Types

As of 18 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 0 inbound Pith citation observations for arXiv:2505.13495.

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

pith.paper-citation-record.v1
2505.13495 v1

Coverage vector

measured 9 of 9 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T21:23:58.873000Z

measured 9 of 9 standing notices

One-hop event checks from named stored sources.

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

9 of 9 outbound references displayed

verified exact2
verified fuzzy2
unresolved3
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 92c43a27-ec87-40ea-bc8b-b24eadcfab0d · outbound

This paper cites The Church-Scott representation of inductive and coinductive data.

Master Thesis Impredicative Encodings of Inductive and Coinductive Types The Church-Scott representation of inductive and coinductive data

Reference 10

Resolution: malformed identifier; no resolver link, observed 2026-08-15T21:23:58.823287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b89696d1-fd9a-4b08-a293-abd8a5ac63c4 · outbound

This paper cites Springer, 1974, pp.

Master Thesis Impredicative Encodings of Inductive and Coinductive Types Springer, 1974, pp

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:23:59.183173Z

Source-reported events for the cited work

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

Observation 8012b5ee-ff30-4800-bc88-6bddef5e065e · outbound

This paper cites Cambridge University Press, 2012, pp.

Master Thesis Impredicative Encodings of Inductive and Coinductive Types Cambridge University Press, 2012, pp

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:23:59.164469Z

Source-reported events for the cited work

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

Observation 6716989c-510f-472e-9b72-227611336913 · outbound

This paper cites Towards a theory of type structure.

Master Thesis Impredicative Encodings of Inductive and Coinductive Types Towards a theory of type structure

Reference 63

Resolution: verified exact; doi, observed 2026-08-15T21:23:58.997080Z

Source-reported events for the cited work

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

Observation 01204a95-67ef-4a2f-9000-bbbdc627bdea · outbound

This paper cites Inductive Definitions in the system Coq - Rules and Properties.

Master Thesis Impredicative Encodings of Inductive and Coinductive Types Inductive Definitions in the system Coq - Rules and Properties

Reference 442

Resolution: verified exact; doi, observed 2026-08-15T21:23:58.941817Z

Source-reported events for the cited work

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

Observation 31fb0a71-068d-4ca5-95c3-a26608b0279f · outbound

This paper cites Impredicative Encodings of (Higher) Inductive Types.

Master Thesis Impredicative Encodings of Inductive and Coinductive Types Impredicative Encodings of (Higher) Inductive Types

Reference 664

Resolution: unresolved; no resolver link, observed 2026-08-15T21:23:58.847881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60b756e2-06b7-4ea5-8577-7a89b3e38e91 · outbound

This paper cites Induction is not derivable in second order dependent type theory.

Master Thesis Impredicative Encodings of Inductive and Coinductive Types Induction is not derivable in second order dependent type theory

Reference 1993

Resolution: malformed identifier; no resolver link, observed 2026-08-15T21:23:58.834155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55913415-2c69-4243-95d6-8e17223a4521 · outbound

This paper cites an unresolved cited work.

Master Thesis Impredicative Encodings of Inductive and Coinductive Types Unresolved cited work

Reference 2020

Resolution: unresolved; raw_fallback, observed 2026-08-15T21:23:59.141623Z

Source-reported events for the cited work

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

Observation f6116386-281e-4b5b-b861-2fc3a6895b7b · outbound

This paper cites Introduction to Homotopy Type Theory.

Master Thesis Impredicative Encodings of Inductive and Coinductive Types Introduction to Homotopy Type Theory

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-15T21:23:58.862429Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.