Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-09T14:59:39.382486Z
Paper Citation Record · LEDGER
Type Theory With Erasure
As of 5 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 1 inbound Pith citation observation for arXiv:2605.00655.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-10T12:13:16.684251Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-05T02:28:24.338817Z
Reference resolution
46 of 46 outbound references displayed
- verified exact0
- verified fuzzy35
- unresolved10
- parse uncertain1
- malformed identifier0
- metadata mismatch0
External citation measurements
0
pith, observed 2026-08-05T02:28:24.338817Z
Outbound references
Observation d096093a-ad97-4c2f-9068-66f2235fd20d · outbound
This paper cites an unresolved cited work.
Type Theory With Erasure Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:36:29.268730Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation bf7d2056-3125-412a-af5e-17c551df1d7e · outbound
This paper cites an unresolved cited work.
Type Theory With Erasure Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:36:29.415263Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 708baf0b-6215-4dda-be09-5ca112b5a289 · outbound
This paper cites Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , publisher =.
Type Theory With Erasure Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , publisher =
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.421715Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a08c22dd-5dde-4d52-abf1-2059dda73f91 · outbound
This paper cites 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) , publisher =.
Type Theory With Erasure 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) , publisher =
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.391337Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 139a4992-a0b2-44a7-9e64-37218cf78228 · outbound
This paper cites 2024 , url =.
Type Theory With Erasure 2024 , url =
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.402479Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4ecd9704-df84-45ea-8bd1-3b94cb8b341b · outbound
This paper cites Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science , publisher =.
Type Theory With Erasure Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science , publisher =
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.425058Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3cd74a53-0581-4990-8389-578fba279005 · outbound
This paper cites 2016 , series =.
Type Theory With Erasure 2016 , series =
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.431854Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation db34eb33-f8a3-4144-8037-c87b333aaac2 · outbound
This paper cites an unresolved cited work.
Type Theory With Erasure Unresolved cited work
Reference 8
- Resolution
- parse uncertain
- raw_fallback, observed 2026-05-26T01:36:29.303858Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a1cfbc2a-0ea1-4358-a3b6-07cdd4835085 · outbound
This paper cites arXiv [cs.LO] , year =.
Type Theory With Erasure arXiv [cs.LO] , year =
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.312806Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3bb02a03-88ad-4928-8235-4c73ba254690 · outbound
This paper cites 2021 , url =.
Type Theory With Erasure 2021 , url =
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.325475Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 9a3ba37a-e7a0-43c1-9d4d-3e86d0b153a8 · outbound
This paper cites Semantics and Logics of Computation , publisher =.
Type Theory With Erasure Semantics and Logics of Computation , publisher =
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.428421Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3ae165ae-a73d-4f75-b3e0-c456ef1a2c78 · outbound
This paper cites an unresolved cited work.
Type Theory With Erasure Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:36:29.398181Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 050923b9-de5c-4154-8e31-be7e07e8a44a · outbound
This paper cites an unresolved cited work.
Type Theory With Erasure Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:36:29.405264Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 819273b5-1eb1-4ff3-822d-ea263dd21675 · outbound
This paper cites Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 , publisher =.
Type Theory With Erasure Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 , publisher =
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.388139Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 727c6d22-8012-4f34-8a94-0bbcf038931b · outbound
This paper cites 1997 , note =.
Type Theory With Erasure 1997 , note =
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.394512Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 65464a93-bed6-43ea-83fa-f0c09daa7d34 · outbound
This paper cites 2023 , url =.
Type Theory With Erasure 2023 , url =
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.408386Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4d223e82-92e8-4ded-aa10-e760bbce734f · outbound
This paper cites 2022 , url =.
Type Theory With Erasure 2022 , url =
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.412081Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 112e3ee6-d5a0-41a6-b1d4-85dc3fde11bc · outbound
This paper cites 2020 , url =.
Type Theory With Erasure 2020 , url =
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.418503Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f860215b-ed01-47a0-878f-042e1b885eac · outbound
This paper cites Types for Proofs and Programs , publisher =.
Type Theory With Erasure Types for Proofs and Programs , publisher =
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.384542Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 44bd732d-cc11-4cc2-831a-b9fe3585c255 · outbound
This paper cites 2013 , url =.
Type Theory With Erasure 2013 , url =
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.367236Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 93f18797-3d9b-4c61-9428-8e798b67cd67 · outbound
This paper cites an unresolved cited work.
Type Theory With Erasure Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:36:29.363921Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 27a3f432-53e7-4515-a335-8b49a6c56226 · outbound
This paper cites A ghost sort for proof-relevant yet erased data in Rocq and.
Type Theory With Erasure A ghost sort for proof-relevant yet erased data in Rocq and
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.370110Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f1245587-96fa-445f-b6cf-cae482ecc8d9 · outbound
This paper cites 2023 , url =.
Type Theory With Erasure 2023 , url =
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.357082Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 0556d416-305d-4b2f-9c79-ad63454ff97f · outbound
This paper cites an unresolved cited work.
Type Theory With Erasure Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:36:29.353843Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 0930bc18-c4d5-47ea-8b7c-4366e87c8428 · outbound
This paper cites arXiv [math.CT] , year =.
Type Theory With Erasure arXiv [math.CT] , year =
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.360850Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e671b45d-e929-4526-a6ed-f8687d345097 · outbound
This paper cites 2005 , url =.
Type Theory With Erasure 2005 , url =
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.372686Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 2e586e6e-6061-4f15-bac2-6318221e5c27 · outbound
This paper cites arXiv [cs.LO] , year =.
Type Theory With Erasure arXiv [cs.LO] , year =
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.378679Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 94092ca2-88c5-4841-9647-6f447536f790 · outbound
This paper cites 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018) , publisher =.
Type Theory With Erasure 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018) , publisher =
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.319483Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a03a25df-d87f-44f0-bd37-a09204872846 · outbound
This paper cites arXiv [math.CT] , year =.
Type Theory With Erasure arXiv [math.CT] , year =
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.316039Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1cb1524f-e636-4b94-aaa9-22a611ab1f2e · outbound
This paper cites 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , publisher =.
Type Theory With Erasure 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , publisher =
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.322310Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7a09efb2-aa53-4a53-a1e4-91d07c8e2afe · outbound
This paper cites arXiv [cs.LO] , year =.
Type Theory With Erasure arXiv [cs.LO] , year =
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.328648Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation fbedeb0a-0930-4ba6-bf98-c8237346c259 · outbound
This paper cites an unresolved cited work.
Type Theory With Erasure Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:36:29.309734Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 91aa5e21-f09a-41e9-b7b3-9ddd8577bf3a · outbound
This paper cites 2025 , language =.
Type Theory With Erasure 2025 , language =
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.301200Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f99501df-7612-466c-80b9-3011b638bff7 · outbound
This paper cites On the relationship between.
Type Theory With Erasure On the relationship between
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.306864Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 0dc6efa4-5bf1-4d60-92e2-2e026412ff35 · outbound
This paper cites an unresolved cited work.
Type Theory With Erasure Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:36:29.350376Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a628a384-5516-468d-8935-e4e7c0192401 · outbound
This paper cites idris-lang/.
Type Theory With Erasure idris-lang/
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.375545Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation df87b22b-e1c1-4b56-94c9-4d9e655ba98a · outbound
This paper cites Foundations of Software Science and Computation Structures , publisher =.
Type Theory With Erasure Foundations of Software Science and Computation Structures , publisher =
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.381735Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 66293daa-be00-4534-9f1b-1bfea91de8f9 · outbound
This paper cites 2021 , url =.
Type Theory With Erasure 2021 , url =
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.297842Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8c3a5791-3793-4967-a3c3-d352d95b2f36 · outbound
This paper cites an unresolved cited work.
Type Theory With Erasure Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:36:29.288224Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation af8ef2fc-e386-4bed-99cb-ca2b808b9e4c · outbound
This paper cites an unresolved cited work.
Type Theory With Erasure Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T01:36:29.285307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ea4e325d-7dba-48a8-bde0-32249d7dc32c · outbound
This paper cites Proceedings of the 18th ACM SIGPLAN international conference on Functional programming , publisher =.
Type Theory With Erasure Proceedings of the 18th ACM SIGPLAN international conference on Functional programming , publisher =
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.291369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e996abe7-6094-4400-a710-4859c04df2aa · outbound
This paper cites Foundations of Software Science and Computational Structures , publisher =.
Type Theory With Erasure Foundations of Software Science and Computational Structures , publisher =
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.276048Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3e9b2cd6-d036-4c6a-905d-44326dd75fd9 · outbound
This paper cites arXiv [cs.PL] , year =.
Type Theory With Erasure arXiv [cs.PL] , year =
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.279296Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 33d20eae-b18a-4ec8-bf92-aaa116077d86 · outbound
This paper cites 04-implicit-args at master ·.
Type Theory With Erasure 04-implicit-args at master ·
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.282350Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 05ee1b06-c930-4bd8-8dae-94275b903585 · outbound
This paper cites 1988 , note =.
Type Theory With Erasure 1988 , note =
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.294086Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b0b5b8a4-e54d-4dbd-93a9-7fa8cc7711d9 · outbound
This paper cites 1963 , url =.
Type Theory With Erasure 1963 , url =
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T01:36:29.272041Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Pith citing papers
Observation 83952dcc-6b5f-45fb-9010-01c0ff53665f · inbound
Directed proof-relevant logical relations in simplicial HoTT cites this paper.
Directed proof-relevant logical relations in simplicial HoTT Type Theory With Erasure
Reference 54
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-07-10T12:17:03.687189Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.