Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T15:32:20.571089Z
Paper Citation Record · LEDGER
Categories of tagged lenses
As of 18 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2607.25706.
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-18T06:34:40.430872+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
27 of 27 outbound references displayed
- verified exact9
- verified fuzzy6
- unresolved8
- parse uncertain0
- malformed identifier2
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 08574bc6-b03f-4472-86c7-d07233002710 · outbound
This paper cites Notions of bidirectional computation and entangled state monads.Mathematics of Program Construction, page 187–214, 2015.doi:10.1007/978-3-319-19797-5-9.
Categories of tagged lenses Notions of bidirectional computation and entangled state monads.Mathematics of Program Construction, page 187–214, 2015.doi:10.1007/978-3-319-19797-5-9
Reference 1
- Resolution
- verified exact
- doi, observed 2026-08-15T15:32:20.687694Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 10f321af-4152-4416-9412-d4746f2a54a8 · outbound
This paper cites Reflections on monadic lenses.Lecture Notes in Computer Science, page 1–31, 2016.doi: 10.1007/978-3-319-30936-1-1.
Categories of tagged lenses Reflections on monadic lenses.Lecture Notes in Computer Science, page 1–31, 2016.doi: 10.1007/978-3-319-30936-1-1
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-15T15:32:20.675925Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 59fc5282-9c29-4e6f-920d-6d6abe803842 · outbound
This paper cites Compositional game theory, compositionally.Electronic Proceedings in Theoretical Computer Science, 333:198–214, Feb 2021.
Categories of tagged lenses Compositional game theory, compositionally.Electronic Proceedings in Theoretical Computer Science, 333:198–214, Feb 2021
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-15T15:32:20.663955Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation b5cafb9e-da28-4035-a15b-117b973126b7 · outbound
This paper cites Bancilhon and N.
Categories of tagged lenses Bancilhon and N
Reference 4
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-15T15:32:21.031292Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9037c5cf-7348-4f50-b11a-888f6ca9954f · outbound
This paper cites Fibre optics.
Reference 6
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T15:32:20.936698Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation ec576c4a-0c99-42d9-ba5a-e871e8c0e554 · outbound
This paper cites Higher lenses.
Categories of tagged lenses Higher lenses
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T15:32:20.499641Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a86e3629-9892-409e-86fd-660f0f756ec2 · outbound
This paper cites Translating Extensive Form Games to Open Games with Agency.
Categories of tagged lenses Translating Extensive Form Games to Open Games with Agency
Reference 8
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T15:32:20.859943Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 1e55e452-0447-4c0d-9ca8-37c1c3ab0dd8 · outbound
This paper cites A diagrammatic approach to symmetric lenses.Electronic Proceedings in Theoretical Computer Science, 333:79–91, Feb 2021.
Categories of tagged lenses A diagrammatic approach to symmetric lenses.Electronic Proceedings in Theoretical Computer Science, 333:79–91, Feb 2021
Reference 9
- Resolution
- verified exact
- doi, observed 2026-08-15T15:32:20.652613Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4991636c-91bc-43c1-ae04-5b43d367073c · outbound
This paper cites Profunctor optics, a categorical update, 2020.arXiv:2001.
Categories of tagged lenses Profunctor optics, a categorical update, 2020.arXiv:2001
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T15:32:21.126257Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f7fff4dc-8d5e-4233-b2e8-5793b685d5e8 · outbound
This paper cites A clear picture of lens laws.
Categories of tagged lenses A clear picture of lens laws
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T15:32:21.114477Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 41c2176c-d4a2-4e77-beb7-d6bb1304b5d8 · outbound
This paper cites Nathan Foster, Michael B.
Categories of tagged lenses Nathan Foster, Michael B
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T15:32:20.517781Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 90b577eb-9675-458d-9f50-b56fd8050aed · outbound
This paper cites Categories of Semantic Concepts.
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T15:32:20.521077Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a1533a56-6f77-4c0a-a238-24eec43f870d · outbound
This paper cites Heunen and J.
Categories of tagged lenses Heunen and J
Reference 14
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-15T15:32:20.524760Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f2075c1-baea-4599-9b22-858974b209b7 · outbound
This paper cites Double categories of open dynamical systems (extended abstract).
Categories of tagged lenses Double categories of open dynamical systems (extended abstract)
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T15:32:20.528119Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation db0f9f76-5ba1-4931-8636-8dcb31a77b8a · outbound
This paper cites Lens put-put laws: monotonic and mixed.Elec- tronic Communications of the EASST, 49, 2012.
Categories of tagged lenses Lens put-put laws: monotonic and mixed.Elec- tronic Communications of the EASST, 49, 2012
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-15T15:32:20.626924Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 0610e9e5-833f-4106-8e19-89b7f404c4ff · outbound
This paper cites Compositional modelling of network games.
Categories of tagged lenses Compositional modelling of network games
Reference 17
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-15T15:32:20.777916Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 57f9d70e-c306-4816-848f-90fa768b9831 · outbound
This paper cites Springer-Verlag, New York,.
Categories of tagged lenses Springer-Verlag, New York,
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T15:32:21.104651Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 5539eea5-e296-485e-b258-2ea1284a5a5a · outbound
This paper cites A tangled web of 12 lens laws.
Categories of tagged lenses A tangled web of 12 lens laws
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T15:32:21.086162Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3c37a8c0-ce86-448a-b9c4-adc46ab8f298 · outbound
This paper cites Monadic combinators for "putback" style bidirectional programming.
Categories of tagged lenses Monadic combinators for "putback" style bidirectional programming
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T15:32:20.550264Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 298a7320-986c-48d6-8a56-76ec0371e261 · outbound
This paper cites Categories of optics.arXiv: Category Theory, 2018.
Categories of tagged lenses Categories of optics.arXiv: Category Theory, 2018
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T15:32:21.075551Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 97b6cef9-7eaa-4bf7-87ab-d921a3b5ff59 · outbound
This paper cites an unresolved cited work.
Categories of tagged lenses Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T15:32:21.065375Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 07770b15-a219-4344-b8cb-354a01f56ca8 · outbound
This paper cites Cyber kittens, or some first steps towards categorical cybernetics.
Categories of tagged lenses Cyber kittens, or some first steps towards categorical cybernetics
Reference 23
- Resolution
- verified exact
- doi, observed 2026-08-15T15:32:20.616200Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation e1bbd010-213a-4cac-aff9-9f3e4378d2e3 · outbound
This paper cites The safari of update structures: Visiting the lens and quantum enclosures.Electronic Proceedings in Theoretical Computer Science, 333:1–18, Feb 2021.
Categories of tagged lenses The safari of update structures: Visiting the lens and quantum enclosures.Electronic Proceedings in Theoretical Computer Science, 333:1–18, Feb 2021
Reference 24
- Resolution
- verified exact
- doi, observed 2026-08-15T15:32:20.605102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation d200ae28-229c-481f-b8a1-d71699eecd29 · outbound
This paper cites Composing bidirectional programs monad- ically.
Categories of tagged lenses Composing bidirectional programs monad- ically
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T15:32:21.054369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3ebb1078-ae85-4e56-b039-c7a3b63c4c57 · outbound
This paper cites an unresolved cited work.
Categories of tagged lenses Unresolved cited work
Reference 28
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-15T15:32:21.043381Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 86750946-45ed-4233-b9cb-7dbe458819d4 · outbound
This paper cites an unresolved cited work.
Categories of tagged lenses Unresolved cited work
Reference 1971
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T15:32:21.095407Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4f246a98-6de4-405b-a0ac-2c88c1a8ccdc · outbound
This paper cites Bayesian open games.
Reference 2019
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T15:32:20.491943Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.