Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T15:12:33.807762Z
Paper Citation Record · LEDGER
Circular Proofs as Session-Typed Processes: A Local Validity Condition
As of 16 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:1908.01909.
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
35 of 35 outbound references displayed
- verified exact1
- verified fuzzy32
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 1268d1a4-09f1-48c2-87d9-04da13245e27 · outbound
This paper cites Least and greatest fixed points in linear logic.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Least and greatest fixed points in linear logic
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.376073Z
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 a3057ab3-debc-47d5-85cd-5391eaa26d6c · outbound
This paper cites Infinitary proof theory: the multiplicative additive case.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Infinitary proof theory: the multiplicative additive case
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.360513Z
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 f5728da5-b629-47aa-9294-2a9a47713937 · outbound
This paper cites Intensional type theory with guarded recursive types qua fixed points on universes.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Intensional type theory with guarded recursive types qua fixed points on universes
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.345116Z
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 86ce1525-d8f6-4d95-8906-1cefcce6cedc · outbound
This paper cites A judgmental analysis of linear logic.
Circular Proofs as Session-Typed Processes: A Local Validity Condition A judgmental analysis of linear logic
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.330264Z
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 5d05ca68-4dc0-4f34-bdda-085ff6eedb83 · outbound
This paper cites Session types as intuitionistic linear propositions.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Session types as intuitionistic linear propositions
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.314943Z
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 7fe9dc38-0dc4-468a-95d6-52cad4ba556d · outbound
This paper cites Linear logic propositions as session types.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Linear logic propositions as session types
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.299592Z
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 703e2c97-920a-464e-8db2-53ab972cda67 · outbound
This paper cites Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.284151Z
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 2a3c4780-9444-4f2c-873d-cbd9641999c3 · outbound
This paper cites Cut reduction in linear logic as asynchronous session-typed communication.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Cut reduction in linear logic as asynchronous session-typed communication
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.268537Z
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 7aa1d766-63db-4b26-a20c-d5f183e6522c · outbound
This paper cites Subsingleton.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Subsingleton
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.252841Z
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 0e800a2e-c9c9-4228-b384-a5a12541c0e0 · outbound
This paper cites Session-Typed Ordered Logical Specifications.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Session-Typed Ordered Logical Specifications
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.237917Z
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 7ef2943e-1a51-43ac-8b57-b44f3732e35d · outbound
This paper cites On the Infinitary Proof Theory of Logics with Fixed Points.
Circular Proofs as Session-Typed Processes: A Local Validity Condition On the Infinitary Proof Theory of Logics with Fixed Points
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.222637Z
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 aa305846-e925-4c4f-9ba2-5440aaf3e5fa · outbound
This paper cites Substructural proofs as automata.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Substructural proofs as automata
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.203855Z
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 97dc1a4e-4e15-48d4-99c6-53ae5f4eccbd · outbound
This paper cites Non-wellfounded proof theory for ( K leene+ action) (algebras+ lattices).
Circular Proofs as Session-Typed Processes: A Local Validity Condition Non-wellfounded proof theory for ( K leene+ action) (algebras+ lattices)
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.189175Z
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 c72ce30e-9a33-46b8-b004-578ceefe7aea · outbound
This paper cites Cuts for circular proofs: Semantics and cut-elimination.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Cuts for circular proofs: Semantics and cut-elimination
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.173863Z
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 6aa97466-9690-4260-930f-6f1461f05b12 · outbound
This paper cites Linear logic and lazy computation.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Linear logic and lazy computation
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.159100Z
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 416f4c23-0993-46c6-842a-7ea74b9b984f · outbound
This paper cites Guarded Recursive Type Theory.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Guarded Recursive Type Theory
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.144144Z
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 723e0424-0ff9-41fb-8398-175444af1396 · outbound
This paper cites Polarized Substructural Session Types.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Polarized Substructural Session Types
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.127991Z
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 2325e615-a1c3-4061-81c1-302a0dfd0110 · outbound
This paper cites Gay and Vasco T.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Gay and Vasco T
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.110876Z
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 b59b7357-26aa-492e-a650-8fdf279ac545 · outbound
This paper cites Types for dyadic interaction.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Types for dyadic interaction
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.097188Z
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 e14ed679-2e65-44df-b7a3-3c4c2855e56b · outbound
This paper cites an unresolved cited work.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:12:34.081756Z
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 923de95c-e2f3-47cc-b193-c83afd191795 · outbound
This paper cites Vasconcelos, and Makoto Kubo.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Vasconcelos, and Makoto Kubo
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.067539Z
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 7f2df184-6744-40a1-a65e-658821f6b93d · outbound
This paper cites Totality for Mixed Inductive and Coinductive Types.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Totality for Mixed Inductive and Coinductive Types
Reference 22
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T15:12:33.853257Z
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 1b7c7016-29e2-4641-8aed-136bb149f2f2 · outbound
This paper cites Free lattices, communication and money games.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Free lattices, communication and money games
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.053347Z
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 33057868-aa7c-4ebe-8df0-8e5346715aae · outbound
This paper cites Around classical and intuitionistic linear logic.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Around classical and intuitionistic linear logic
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.038740Z
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 feb7e113-6882-42a1-be91-9b0611ae1f47 · outbound
This paper cites Garrett Morris.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Garrett Morris
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.024255Z
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 c235fafc-87e9-44fa-be45-27876385f257 · outbound
This paper cites Local validity for circular proofs in linear logic with fixed points.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Local validity for circular proofs in linear logic with fixed points
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:34.009476Z
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 fa9f19ed-f54a-4af6-9e1c-e67d7be38184 · outbound
This paper cites Substructural logics.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Substructural logics
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:33.994302Z
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 04b43d70-aa14-4f56-9625-bd4ca384c8fe · outbound
This paper cites Local type inference.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Local type inference
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:33.979898Z
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 c84827c5-bca4-4478-8ae3-1a46cc78737b · outbound
This paper cites an unresolved cited work.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:12:33.964663Z
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 067d4ba6-26ac-4420-a4e6-e312b44505a9 · outbound
This paper cites A calculus of circular proofs and its categorical semantics.
Circular Proofs as Session-Typed Processes: A Local Validity Condition A calculus of circular proofs and its categorical semantics
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:33.949946Z
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 4266f04c-5bc7-436e-a0ee-1aa83026c94d · outbound
This paper cites Free -lattices.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Free -lattices
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:33.933381Z
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 0dc4246b-d1da-4399-9848-7eec90628858 · outbound
This paper cites From parity games to circular proofs.
Circular Proofs as Session-Typed Processes: A Local Validity Condition From parity games to circular proofs
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:33.917248Z
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 265013c4-4c5a-4890-be6d-b660a6cb3933 · outbound
This paper cites -bicomplete categories and parity games.
Circular Proofs as Session-Typed Processes: A Local Validity Condition -bicomplete categories and parity games
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:33.901461Z
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 e904eb9e-c5d5-4928-98c8-d48b965c64ec · outbound
This paper cites Higher-order processes, functions, and sessions: A monadic integration.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Higher-order processes, functions, and sessions: A monadic integration
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:33.884300Z
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 f3108280-7796-48c5-9166-2986cc2416e0 · outbound
This paper cites Propositions as sessions.
Circular Proofs as Session-Typed Processes: A Local Validity Condition Propositions as sessions
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:12:33.869022Z
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.