Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T15:01:19.472127Z
Paper Citation Record · LEDGER
A Transformational Approach to Resource Analysis with Typed-norms Inference
As of 16 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:1908.02078.
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-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
15 of 15 outbound references displayed
- verified exact0
- verified fuzzy8
- unresolved7
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 9efd4315-3c16-4257-a8aa-ccf9c30d62f5 · outbound
This paper cites an unresolved cited work.
A Transformational Approach to Resource Analysis with Typed-norms Inference Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:01:20.024423Z
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 4ebf0798-8982-435f-b323-72ff756a6f08 · outbound
This paper cites We will focus only on the first statement as it implies the second one by Prop.
A Transformational Approach to Resource Analysis with Typed-norms Inference We will focus only on the first statement as it implies the second one by Prop
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:01:19.986643Z
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 878a1278-90c2-4444-939b-46debfde9e0b · outbound
This paper cites an unresolved cited work.
A Transformational Approach to Resource Analysis with Typed-norms Inference Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:01:19.706712Z
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 0525b243-a7cc-4306-9e7e-4c57d160d006 · outbound
This paper cites ∧ lv α k )⁄|= false, from the soundness theorem.
A Transformational Approach to Resource Analysis with Typed-norms Inference ∧ lv α k )⁄|= false, from the soundness theorem
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:01:19.957013Z
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 88fbb03b-beeb-4d8b-bab1-96fc677be87b · outbound
This paper cites The first statement implies the second one by Prop.
A Transformational Approach to Resource Analysis with Typed-norms Inference The first statement implies the second one by Prop
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:01:19.920632Z
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 9442ef48-d359-4809-abb1-d8e2613f2a3a · outbound
This paper cites an unresolved cited work.
A Transformational Approach to Resource Analysis with Typed-norms Inference Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:01:19.884889Z
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 765cfd08-b299-4292-9b64-421388621ce0 · outbound
This paper cites an unresolved cited work.
A Transformational Approach to Resource Analysis with Typed-norms Inference Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:01:19.858802Z
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 ed358fb4-9b30-4b53-bcbd-a4c1c2779db1 · outbound
This paper cites The typed-norms of any input variable for any rule of m (including rule number j) will be propagated to the arguments ¯ xk of the call m(¯x, ¯y) in rule i.
A Transformational Approach to Resource Analysis with Typed-norms Inference The typed-norms of any input variable for any rule of m (including rule number j) will be propagated to the arguments ¯ xk of the call m(¯x, ¯y) in rule i
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:01:19.819150Z
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 be2207db-2b98-4535-b669-1a7b4a6668ce · outbound
This paper cites Thus there is a sequence of match guards match(x′ k,p 1)∧ match(z1,p 2)∧.
A Transformational Approach to Resource Analysis with Typed-norms Inference Thus there is a sequence of match guards match(x′ k,p 1)∧ match(z1,p 2)∧
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:01:19.781330Z
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 3ab21ffd-e7aa-4e36-a8a7-650c9f36ed04 · outbound
This paper cites an unresolved cited work.
A Transformational Approach to Resource Analysis with Typed-norms Inference Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:01:19.747531Z
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 e5ecdc06-7cc7-476c-87c9-cb70a25ed029 · outbound
This paper cites We will focus only on the first case, as the second one is similar.
A Transformational Approach to Resource Analysis with Typed-norms Inference We will focus only on the first case, as the second one is similar
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:01:19.681006Z
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 8eeb8a37-3041-4f03-8222-e26dc5d193dc · outbound
This paper cites an unresolved cited work.
A Transformational Approach to Resource Analysis with Typed-norms Inference Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:01:19.649493Z
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 3edaf485-f85c-4f4e-b025-484e66247fed · outbound
This paper cites an unresolved cited work.
A Transformational Approach to Resource Analysis with Typed-norms Inference Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:01:19.612440Z
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 00665ecb-b1b4-4f6a-991b-7e5f04e7930e · outbound
This paper cites • Base Case: n = 0 In this case C0 ❀r1 C1 but C ′ 0⁄❀r1 C ′ 1 , where lv⊲T lv ′.
A Transformational Approach to Resource Analysis with Typed-norms Inference • Base Case: n = 0 In this case C0 ❀r1 C1 but C ′ 0⁄❀r1 C ′ 1 , where lv⊲T lv ′
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:01:19.579020Z
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 f289bf6c-5f35-4214-96e2-d2c65d9d6ec1 · outbound
This paper cites Grobauer, B.
A Transformational Approach to Resource Analysis with Typed-norms Inference Grobauer, B
Reference 2294
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:01:20.078265Z
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.