Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T11:09:51.322435Z
Paper Citation Record · LEDGER
As of 21 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 1 inbound Pith citation observation for arXiv:1908.09681.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T11:09:51.322435Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-14T11:09:51.322435Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-14T11:09:51.612896Z
51 of 51 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation bf8f578b-de8e-474b-af39-1f97aaa457f4 · outbound
Kindly Bent to Free Us Plasmeijer
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 8e7e6187-6b52-43f4-b444-d4945a8cb97f · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a871dc25-285b-4b08-8e6b-d071d4fa14b8 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 87e893fb-5f6f-4c84-a976-1c7a10024f4a · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation c2286517-4226-435c-b3fc-b0e282e2088c · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 815c631e-9d8b-4ac6-bba1-9dc3f9d2f903 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 924b1216-5f59-4ce8-bdc9-294a3b9ec84e · outbound
Kindly Bent to Free Us Newton, Simo n Peyton Jones, and Arnaud Spiwack
Reference 7
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 31b18544-2473-48ac-9ca3-bd7dc0f11029 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 8
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a565ed29-06a6-4596-b253-22535060f362 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 77e02a79-097b-4cc2-9025-dcc15f239c90 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation bcd8085f-1fde-48cb-a7f0-c19c7796ae84 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ab20b117-8847-4932-8eba-6d26d22961a4 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation bb940186-6f46-4a6b-b692-e7f7d025adf2 · outbound
Kindly Bent to Free Us Gay and Vasco Thudichum Vasconcelos
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 814a8a0e-a758-40e2-965c-75049228d987 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dbc8e1fa-1fba-400c-83fc-f69fe55cdbf6 · outbound
Kindly Bent to Free Us Gregory Morrisett, Trevor Jim, Michael W
Reference 15
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 03480d5e-0033-4039-a41f-db51b9913381 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a9b30428-b7bc-495f-97ae-8db380771e16 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 289ea506-e05d-4023-a93d-42e7c55df001 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation eb070a80-f54f-4f7c-a566-8a37a2a1cfcc · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1314f66d-bb2d-46e0-bb96-794193745f5b · outbound
Kindly Bent to Free Us Garrett Morris
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 6bf38c89-1d12-4b11-92e6-0986a53d1956 · outbound
Kindly Bent to Free Us Matsakis and Felix S
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 06936cbf-fcfd-4217-9ba2-0bce494f7aa1 · outbound
Kindly Bent to Free Us Modular Inference of Linear Types for Multiplicity-Annotated Arrows
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 2d67e067-11a5-4273-95e3-9332bcbfb748 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 4f8913b2-8069-40c8-8c33-5ed84bb231c5 · outbound
Kindly Bent to Free Us Garrett Morris
Reference 24
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7efb004a-e8ca-49b1-9168-4c86add780a4 · outbound
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation b3ecf83f-9ee8-45d2-8d3d-27daf0f1dc06 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 980c0ed3-8e85-49ee-b70b-4073731ab1ee · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a5781e78-4b3e-4e87-b01f-5f96a4bfc8d8 · outbound
Kindly Bent to Free Us Myreen, Ramana Kumar, and Yong Kiam Tan
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 98c459d7-fed4-4f83-828d-1d588d0a6e05 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 227597ec-b235-4470-85e5-2726a2f266d2 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 30
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f6d7165e-159b-4dd9-a90b-96a7d57b1d8d · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 2d9e3b91-8a6e-487b-8db8-bf2535f09b94 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 32
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 09b8aeca-3b39-4f91-a647-b3f98eaf478a · outbound
Kindly Bent to Free Us Reducing urban traffic congestion due to localized routing decisions
Reference 33
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 90062951-8532-413e-bea6-cbc6533d039d · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 569e8032-0079-40dd-8523-f79573554cbb · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation b9f66413-256f-45a5-91e1-d2c141073de9 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a1687954-7ccf-4168-8338-ac02259adf8e · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation f758f2f7-bd5e-4c1c-b71e-11ca1cb68797 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a1db0738-5660-4a3f-b4b0-394381ace1eb · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 916c3da7-4174-4263-b837-85c71b9ef354 · outbound
Kindly Bent to Free Us Tov and Riccardo Pucella
Reference 40
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d3210e94-6671-49b0-a77c-599fc7a31b2a · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 4374c8f1-d05c-4ea3-b471-6066171fdde3 · outbound
Reference 42
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 08722efb-2976-427c-8545-f05077e08f10 · outbound
Kindly Bent to Free Us best-effort
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation cab6d392-b655-4dea-8cc6-a96d5ec9a879 · outbound
Kindly Bent to Free Us Indeed, since C′ 1 andC′ 2 are only composed of existential quantifications and kind inequalit ies, the only rules that applies are transitivity and lattice inequalities
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 243ffd9e-67d8-46dc-8716-7660486b70e3 · outbound
Kindly Bent to Free Us If⊢eC, thenC∈(≤)⊂ R′′ 2
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 65812eec-8a75-4443-8a74-cdd77b9a08fe · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 66d221f5-cbf8-4674-905a-985ce0a48848 · outbound
Kindly Bent to Free Us We also have that Σx\{x}⊂ Γx
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation bad04fde-1816-4c4f-9952-17d5a430ea3c · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 36819a2c-5fa7-4436-9f50-08f790bd6386 · outbound
Kindly Bent to Free Us We know that⊢eψ′Γ≼ Γ′,⊢eψ′ i Γi≼ Γ′ i and Σi⊂ Γi
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation f23ef789-1e1b-4781-a88e-fd2aa6c2bdc7 · outbound
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation d8ac9216-1385-4dc0-84bd-57cfcadcb277 · outbound
Kindly Bent to Free Us Unresolved cited work
Reference 2017
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation f23ef789-1e1b-4781-a88e-fd2aa6c2bdc7 · inbound
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.