Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T11:58:31.286819Z
Paper Citation Record · LEDGER
Big Steps in Higher-Order Mathematical Operational Semantics
As of 8 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2506.01076.
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-08T06:32:00.761636+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
41 of 41 outbound references displayed
- verified exact12
- verified fuzzy3
- unresolved21
- parse uncertain0
- malformed identifier4
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 78edf608-3c42-4dfc-90a9-0bd24bbf0bb8 · outbound
This paper cites Abramsky.
Big Steps in Higher-Order Mathematical Operational Semantics Abramsky
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:58:38.777935Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 6437f7f9-990f-4d27-8198-342cc4e442a9 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:38.537009Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 867d2b1f-601b-4e9a-9264-66077f877395 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:38.270502Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b12d93c6-3374-4747-849f-1136383dc42a · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:37.970373Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d43df4ff-22c2-48cd-9e19-ab55b66dc97d · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 5
- Resolution
- verified exact
- doi, observed 2026-08-07T11:58:33.586270Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 67ab1441-052c-498c-807f-b7c2c2875737 · outbound
This paper cites Bernstein.
Big Steps in Higher-Order Mathematical Operational Semantics Bernstein
Reference 6
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-07T11:58:35.043384Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f3e462d2-32e5-4cbc-a2ef-c3d65a8534fa · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 7
- Resolution
- verified exact
- doi, observed 2026-08-07T11:58:33.301305Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d8b57c86-2792-4220-a8bb-ba6d440933ea · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:37.804201Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 663e1da1-3ab5-4e0c-88fe-39f2c0758d16 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:37.574066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 54177d4c-883c-45b8-8374-588bd1b29938 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:37.350786Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1ddd20dd-47d8-43fa-8879-e1bd840310ea · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:37.082193Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 07e23e4a-1de5-41af-8db0-d13206374c3e · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 12
- Resolution
- verified exact
- raw_fallback, observed 2026-08-07T11:58:34.705488Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 4dd1dd80-f7b2-4daf-b9e0-28f184944572 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:58:27.803626Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b81ceb14-bca6-48aa-8e2b-6ce9ea1f9a64 · outbound
This paper cites Deliguoro and A.
Big Steps in Higher-Order Mathematical Operational Semantics Deliguoro and A
Reference 14
- Resolution
- verified exact
- raw_fallback, observed 2026-08-07T11:58:34.313043Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 78c40c21-223f-4ecc-8f74-e4554a738d65 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:58:28.095746Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4585406a-4859-48e0-8e90-578c2b3a5b0a · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-07T11:58:33.066309Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 050c4881-8034-48be-83c0-0570bb416251 · outbound
This paper cites Fiore, Gordon D.
Big Steps in Higher-Order Mathematical Operational Semantics Fiore, Gordon D
Reference 17
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-07T11:58:34.011537Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e1f0c10b-a720-42db-81e6-2798ac85740c · outbound
This paper cites Gallagher, Manuel Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López García, and José Morales.
Big Steps in Higher-Order Mathematical Operational Semantics Gallagher, Manuel Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López García, and José Morales
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:58:36.825905Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1ba60b6f-b5f6-429e-8bdf-9faeb80fcfc2 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:36.542607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1ce35515-0811-4f8d-b56d-ebe69e93cd49 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 20
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-07T11:58:28.854182Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fd40f006-7579-492e-80a7-328cae56ed91 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:58:28.954233Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a099ae5-8a88-4c14-ac5d-593666b41cc7 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:36.333595Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 83143538-44ae-4fc9-964c-d53c2797c9eb · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:36.096052Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 2bae28f3-1716-452e-b799-ce38c3aa2c66 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 24
- Resolution
- verified exact
- doi, observed 2026-08-07T11:58:32.581677Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d83c8166-f585-46bf-ac1c-89be9798ba64 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:58:29.366059Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 436068d0-f225-4c99-b11a-9dd12983006f · outbound
This paper cites Roger Hindley and Jonathan P.
Big Steps in Higher-Order Mathematical Operational Semantics Roger Hindley and Jonathan P
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:58:29.454339Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8087bcfd-2034-44a4-bcf5-1035c8996321 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 27
- Resolution
- verified exact
- doi, observed 2026-08-07T11:58:32.355725Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation fbe6625f-9727-4a0c-9db0-81a54b4f9297 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:35.898418Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 9027a69c-cb70-434e-a0c6-72689cb374c4 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 29
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-07T11:58:29.850069Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 060e12b0-2727-4e10-baf2-05665d354fcc · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 30
- Resolution
- verified exact
- doi, observed 2026-08-07T11:58:32.115180Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a8442dd3-459f-45f7-becf-a5be4655735e · outbound
This paper cites Mac Lane.
Big Steps in Higher-Order Mathematical Operational Semantics Mac Lane
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:58:30.049438Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2a4e74ce-5f3f-483c-9236-aaddc8fb3de0 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 32
- Resolution
- verified exact
- doi, observed 2026-08-07T11:58:31.882412Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f4ef382a-4ce2-4aa2-a9c1-bcfe1e1ed6d5 · outbound
This paper cites Mitchell.
Big Steps in Higher-Order Mathematical Operational Semantics Mitchell
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:58:35.569813Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 49bfc533-f1a9-4b36-97ff-8f5bcc219561 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 34
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-07T11:58:30.459372Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 39dcbd1d-047f-4689-8294-a66cc59ca713 · outbound
This paper cites Myreen, Ramana Kumar, and Yong Kiam Tan.
Big Steps in Higher-Order Mathematical Operational Semantics Myreen, Ramana Kumar, and Yong Kiam Tan
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:58:30.626414Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dd3fc4e6-0be0-49ff-a250-b2bcb580ccb6 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 36
- Resolution
- verified exact
- doi, observed 2026-08-07T11:58:31.661210Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 809709a6-a965-42bf-87de-2c8831528b65 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:58:30.958653Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a6c0301-1295-4c92-a1df-7b9d73883aca · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:58:31.077305Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 42d93390-285a-4101-8661-18cae9e858b6 · outbound
This paper cites an unresolved cited work.
Big Steps in Higher-Order Mathematical Operational Semantics Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T11:58:35.296821Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d2c82f47-c0ff-4497-8783-3612488aa8d2 · outbound
This paper cites van Glabbeek.
Big Steps in Higher-Order Mathematical Operational Semantics van Glabbeek
Reference 40
- Resolution
- verified exact
- doi, observed 2026-08-07T11:58:31.481962Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f226e158-1326-4dbe-841f-5eb52147dbf5 · outbound
This paper cites In Electronic Proceedings in Theoretical Computer Science, EPTCS , Vol.
Big Steps in Higher-Order Mathematical Operational Semantics In Electronic Proceedings in Theoretical Computer Science, EPTCS , Vol
Reference 2020
- Resolution
- verified exact
- doi, observed 2026-08-07T11:58:32.820282Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Pith citing papers
No inbound Pith citation observations are available.