Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T13:35:22.051542Z
Paper Citation Record · LEDGER
On the Elementary Affine Lambda-Calculus with and Without Fixed Points
As of 16 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 0 inbound Pith citation observations for arXiv:1908.04921.
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-15T06:32:42.880941+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
19 of 19 outbound references displayed
- verified exact13
- verified fuzzy1
- unresolved3
- parse uncertain0
- malformed identifier1
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e5021b86-4f46-462b-989b-d35cb2ca05a6 · outbound
This paper cites Information and Computation 241, pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Information and Computation 241, pp
Reference 1
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.309643Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c48cbfe8-16ee-4f52-970b-b5c38c171cf3 · outbound
This paper cites Information and Computation 261, pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Information and Computation 261, pp
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.293760Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ca7503ae-6952-4689-936b-09684524c5cd · outbound
This paper cites In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), pp
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.274036Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1bce9175-3740-49d0-acad-ef4b83744281 · outbound
This paper cites In: Foundations of Software Science and Computation Structure s (FoSSaCS’14) , pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points In: Foundations of Software Science and Computation Structure s (FoSSaCS’14) , pp
Reference 4
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.255602Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 98734f60-9e6f-4a50-8902-2479c6907306 · outbound
This paper cites Mathemat- ical Structures in Computer Science 16(4), pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Mathemat- ical Structures in Computer Science 16(4), pp
Reference 5
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.236616Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fc887512-d9e5-4754-b642-f93ae53c2fc9 · outbound
This paper cites Information and Computa- tion 183(1), pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Information and Computa- tion 183(1), pp
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.219239Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 45433d35-9d8e-48b6-b243-6e6309f3281a · outbound
This paper cites Logical Methods in Computer Science V olume 4, Issue 4, doi:10.2168/LMCS-4(4:5)2008.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Logical Methods in Computer Science V olume 4, Issue 4, doi:10.2168/LMCS-4(4:5)2008
Reference 7
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.201870Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4720c269-4d16-4b76-a53b-455e75a65a67 · outbound
This paper cites ACM SIGLOG News 3(3), pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points ACM SIGLOG News 3(3), pp
Reference 8
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T13:35:22.489244Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f71b8efd-ec33-46b3-bf27-ca2234c9ebc8 · outbound
This paper cites Information and Computation 143(2), pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Information and Computation 143(2), pp
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:35:22.000796Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 73573a51-2e2d-44b3-be5b-c369928113e3 · outbound
This paper cites an unresolved cited work.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:35:22.525587Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation be1cfcce-03c6-4dd7-b371-7381d7d5f4f0 · outbound
This paper cites In: Mathematical Foundations of Computer Science 2015 - 40th In ternational Symposium, MFCS 2015, pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points In: Mathematical Foundations of Computer Science 2015 - 40th In ternational Symposium, MFCS 2015, pp
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.185297Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 7589d84e-ef85-43a1-9523-720ee97d2651 · outbound
This paper cites Elec- tronic Proceedings in Theoretical Computer Science 292, pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Elec- tronic Proceedings in Theoretical Computer Science 292, pp
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:35:22.015400Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 71088823-95c2-47e2-8686-4bb46567da3b · outbound
This paper cites Hillebrand (1994): Finite Model Theory in the Simply Typed Lambda Calculus.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Hillebrand (1994): Finite Model Theory in the Simply Typed Lambda Calculus
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:35:22.506886Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 481a655c-238c-445a-a6e8-36471f84aec4 · outbound
This paper cites Hillebrand & Paris C.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Hillebrand & Paris C
Reference 14
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.155298Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 351252ff-38c6-4edc-b341-b55af6404d39 · outbound
This paper cites Around finite second-order coherence spaces.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Around finite second-order coherence spaces
Reference 15
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T13:35:22.333415Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 5e4ce971-88c1-4f7d-aeb5-dc994df1e615 · outbound
This paper cites In: 46th International Colloquium on Automata, Languages and P rogramming (ICALP’19) , pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points In: 46th International Colloquium on Automata, Languages and P rogramming (ICALP’19) , pp
Reference 16
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-14T13:35:22.035386Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8ad0bb00-dbf2-4435-a40f-70abb61bd010 · outbound
This paper cites Theoretical Computer Science 126(2), pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points Theoretical Computer Science 126(2), pp
Reference 17
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.124172Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a693087d-4907-4ccd-b83c-a3e95f830339 · outbound
This paper cites In: 16th International Conference on Term Rewriting and Applic ations (RTA’05) , pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points In: 16th International Conference on Term Rewriting and Applic ations (RTA’05) , pp
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.107515Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation cb3d3b26-5ce6-4e11-b142-6a9f421e4a8f · outbound
This paper cites In: 23rd International Conference on Rewriting Techniques and Applications (RTA’12), pp.
On the Elementary Affine Lambda-Calculus with and Without Fixed Points In: 23rd International Conference on Rewriting Techniques and Applications (RTA’12), pp
Reference 19
- Resolution
- verified exact
- doi, observed 2026-08-14T13:35:22.090176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Pith citing papers
No inbound Pith citation observations are available.