Paper Citation Record · LEDGER

Intrinsically-Typed Mechanized Semantics for Session Types

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

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

pith.paper-citation-record.v1
1908.02940 v1

Coverage vector

measured 20 of 20 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T14:35:10.185999Z

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

20 of 20 outbound references displayed

verified exact3
verified fuzzy10
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1df98b16-8951-4214-b1e3-02a9f8ae7df0 · outbound

This paper cites 2017.Interactive Programming in Agda - Objects and Graphical User Interfaces.

Intrinsically-Typed Mechanized Semantics for Session Types 2017.Interactive Programming in Agda - Objects and Graphical User Interfaces

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:35:10.819827Z

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 2ee2aff6-d9db-4685-addb-a979303e1cd7 · outbound

This paper cites an unresolved cited work.

Intrinsically-Typed Mechanized Semantics for Session Types Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:35:10.487927Z

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 59f8d325-ab14-4e72-981f-34eeafcd9ff8 · outbound

This paper cites an unresolved cited work.

Intrinsically-Typed Mechanized Semantics for Session Types Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:35:10.725794Z

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 0aca860a-bb4b-4197-9b4d-178ec611052a · outbound

This paper cites Acta Informatica 42, 2-3 (2005), 191–225.

Intrinsically-Typed Mechanized Semantics for Session Types Acta Informatica 42, 2-3 (2005), 191–225

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:35:10.699748Z

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 dfc2e4ff-c229-4808-9af4-962c86c2a47c · outbound

This paper cites ACM Comput.

Intrinsically-Typed Mechanized Semantics for Session Types ACM Comput

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:35:10.632278Z

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 f2feedf1-0f8e-4ba5-ac2a-65adc389c465 · outbound

This paper cites Mathematical Structures in Computer Science 28, 9 (2018), 1541–1577.

Intrinsically-Typed Mechanized Semantics for Session Types Mathematical Structures in Computer Science 28, 9 (2018), 1541–1577

Reference 14

Resolution: verified exact; doi, observed 2026-08-14T14:35:10.233584Z

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 e8185131-0e1f-4f0e-933d-c99dd5fb03af · outbound

This paper cites PACMPL 2, POPL (2018), 16:1–16:34.

Intrinsically-Typed Mechanized Semantics for Session Types PACMPL 2, POPL (2018), 16:1–16:34

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:35:10.579792Z

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 f17315e2-de49-4ae1-aa86-f031386f0a06 · outbound

This paper cites an unresolved cited work.

Intrinsically-Typed Mechanized Semantics for Session Types Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T14:35:10.170174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac53ff6d-5f20-4ca2-8970-10215e06139f · outbound

This paper cites an unresolved cited work.

Intrinsically-Typed Mechanized Semantics for Session Types Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:35:10.534083Z

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 22d883b9-e6f9-4045-bdf6-e355a6c318b5 · outbound

This paper cites This context only contains bindings for channel endpoints.

Intrinsically-Typed Mechanized Semantics for Session Types This context only contains bindings for channel endpoints

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:35:10.510746Z

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 79311260-a87b-4e35-971a-2919d3ef999f · outbound

This paper cites https://doi.org/10.4204/EPTCS.203.1 Scott Owens, Magnus O.

Intrinsically-Typed Mechanized Semantics for Session Types https://doi.org/10.4204/EPTCS.203.1 Scott Owens, Magnus O

Reference 203

Resolution: verified exact; doi, observed 2026-08-14T14:35:10.252970Z

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 1c6688f0-276b-40cd-910a-44f71495100e · outbound

This paper cites ACM TOPLAS 23, 5 (2001), 657–683.

Intrinsically-Typed Mechanized Semantics for Session Types ACM TOPLAS 23, 5 (2001), 657–683

Reference 2001

Resolution: unresolved; no resolver link, observed 2026-08-14T14:35:10.082467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 587a099a-33ab-4c36-a3f5-c26588b9fd10 · outbound

This paper cites Logical Methods in Computer Science 1, 2 (2005).

Intrinsically-Typed Mechanized Semantics for Session Types Logical Methods in Computer Science 1, 2 (2005)

Reference 2005

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:35:10.768885Z

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 0b6e435c-4916-469d-9ab9-e6050ea8c1cb · outbound

This paper cites In Principles and Practice of Declara- tive Programming, PPDP 2009, António Porto and Francisco J.

Intrinsically-Typed Mechanized Semantics for Session Types In Principles and Practice of Declara- tive Programming, PPDP 2009, António Porto and Francisco J

Reference 2009

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:35:10.746538Z

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 d89c6db9-3c71-43fa-bd2a-e77041c5f85f · outbound

This paper cites an unresolved cited work.

Intrinsically-Typed Mechanized Semantics for Session Types Unresolved cited work

Reference 2010

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:35:10.675483Z

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 bb47da25-4d93-4d4a-bca4-289fb295e9da · outbound

This paper cites an unresolved cited work.

Intrinsically-Typed Mechanized Semantics for Session Types Unresolved cited work

Reference 2012

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:35:10.792449Z

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 53600689-a946-42b8-8696-1d4eec79ec7b · outbound

This paper cites http://siek.blogspot.de/2013/05/type-safety-in-thre e-easy-lemmas.html.

Intrinsically-Typed Mechanized Semantics for Session Types http://siek.blogspot.de/2013/05/type-safety-in-thre e-easy-lemmas.html

Reference 2013

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:35:10.560863Z

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 a9702861-6d46-4935-8c17-b666dbf7bda5 · outbound

This paper cites In Proceedings Eighth International Workshop on Programming La nguage Ap- proaches to Concurrency- and Communication-cEntric Softw are, PLACES 2015, Lon- don, UK, 18th April.

Intrinsically-Typed Mechanized Semantics for Session Types In Proceedings Eighth International Workshop on Programming La nguage Ap- proaches to Concurrency- and Communication-cEntric Softw are, PLACES 2015, Lon- don, UK, 18th April

Reference 2015

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:35:10.609778Z

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 8b3209b3-f22f-4840-89d2-50e88f3d1c01 · outbound

This paper cites Mathematical Structures in Computer Science 26, 3 (2016), 465–509.

Intrinsically-Typed Mechanized Semantics for Session Types Mathematical Structures in Computer Science 26, 3 (2016), 465–509

Reference 2016

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:35:10.655218Z

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 c001a886-51b7-4217-9a87-c5f837746909 · outbound

This paper cites an unresolved cited work.

Intrinsically-Typed Mechanized Semantics for Session Types Unresolved cited work

Reference 2018

Resolution: verified exact; doi, observed 2026-08-14T14:35:10.271487Z

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.