Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T04:40:35.190241Z
Paper Citation Record · LEDGER
Categorical E-Graphs for Lambda Calculi
As of 18 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 0 inbound Pith citation observations for arXiv:2505.00807.
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
49 of 49 outbound references displayed
- verified exact0
- verified fuzzy33
- unresolved16
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 09549786-a6d2-477f-b8dc-ccfcc30bdf73 · outbound
This paper cites A nonstandard standardization theorem.
Categorical E-Graphs for Lambda Calculi A nonstandard standardization theorem
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.874050Z
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 215b87a7-db2f-419c-87d1-8ad940d975f6 · outbound
This paper cites R., S PRUNGER , D., AND ZANASI , F.
Categorical E-Graphs for Lambda Calculi R., S PRUNGER , D., AND ZANASI , F
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.861473Z
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 bdfd39d6-c9d7-4ca6-b159-b11886019d57 · outbound
This paper cites String diagram rewrite theory i: Rewriting with frobeni us structure.
Categorical E-Graphs for Lambda Calculi String diagram rewrite theory i: Rewriting with frobeni us structure
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.848424Z
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 589bec3a-a9cb-40ae-8184-6f9558ec47cb · outbound
This paper cites String diagram rewrite theory i: Rewriting with frobeni us structure.
Categorical E-Graphs for Lambda Calculi String diagram rewrite theory i: Rewriting with frobeni us structure
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.835147Z
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 c4263188-d2c1-47c9-a0fe-ad24a914e448 · outbound
This paper cites String diagram rewrite theory ii: Rewriting with symmet ric monoidal structure.
Categorical E-Graphs for Lambda Calculi String diagram rewrite theory ii: Rewriting with symmet ric monoidal structure
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.821319Z
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 05f772b2-977c-487b-8215-432941eaadac · outbound
This paper cites Handbook of Categorical Algebra II.
Categorical E-Graphs for Lambda Calculi Handbook of Categorical Algebra II
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.807675Z
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 aed180c2-25d6-43db-b2b8-56a00273b3e3 · outbound
This paper cites An algebra of hierarchical graphs and its application to structural encoding.
Categorical E-Graphs for Lambda Calculi An algebra of hierarchical graphs and its application to structural encoding
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.793989Z
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 5be09371-1c70-4c58-9c0f-bf06b611ac58 · outbound
This paper cites Gs.lambda theories: A syntax for higher-order graphs.
Categorical E-Graphs for Lambda Calculi Gs.lambda theories: A syntax for higher-order graphs
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.779987Z
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 211eedd8-66d4-4d34-a94c-2ea7087498a3 · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.768077Z
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 02773295-fc53-4ac5-8864-183d69132825 · outbound
This paper cites Hierarchical graph transformation.
Categorical E-Graphs for Lambda Calculi Hierarchical graph transformation
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.755713Z
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 e16979cb-e6ac-4e27-a3e0-95a38a7dcee5 · outbound
This paper cites Small Proofs from Congruence Closure.
Categorical E-Graphs for Lambda Calculi Small Proofs from Congruence Closure
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.741939Z
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 2c409155-9dea-4ae2-8f7a-c6386d4ce649 · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.728620Z
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 06540d79-66ce-40b8-afc8-97fc4abf4270 · outbound
This paper cites String diagrams for λ -calculi and functional computation, 2024.
Categorical E-Graphs for Lambda Calculi String diagrams for λ -calculi and functional computation, 2024
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.715446Z
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 317df629-d6ed-45cf-a473-c59599ed1130 · outbound
This paper cites R., B ARRETT , C., AND TIURIN , A.
Categorical E-Graphs for Lambda Calculi R., B ARRETT , C., AND TIURIN , A
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.702208Z
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 d21d1f32-d539-4435-b69a-7c7b88362247 · outbound
This paper cites A robust graph-based approach to observational equivalence.
Categorical E-Graphs for Lambda Calculi A robust graph-based approach to observational equivalence
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T04:40:35.041949Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c6104945-8b67-4f7d-96e8-6017b14a49b9 · outbound
This paper cites Proceedings of the 22nd Conference on Formal Methods in C omputer-Aided Design – FMCAD 2022.
Categorical E-Graphs for Lambda Calculi Proceedings of the 22nd Conference on Formal Methods in C omputer-Aided Design – FMCAD 2022
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.688973Z
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 5aa7aabb-5905-4053-8124-fd054d7b27f4 · outbound
This paper cites Eine algebraisierung des syntheseproblems von schaltk reisen.
Categorical E-Graphs for Lambda Calculi Eine algebraisierung des syntheseproblems von schaltk reisen
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.676630Z
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 519ec39b-ecc3-4a59-86e4-f1d668bbdd91 · outbound
This paper cites The geometry of tensor calculus, I.
Categorical E-Graphs for Lambda Calculi The geometry of tensor calculus, I
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.664451Z
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 35011033-72d8-40b9-a1e2-2fdc9caf82a5 · outbound
This paper cites Sketch-guided equality saturation: Scaling equality s aturation to complex optimizations of functional programs, 2022.
Categorical E-Graphs for Lambda Calculi Sketch-guided equality saturation: Scaling equality s aturation to complex optimizations of functional programs, 2022
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.651272Z
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 0f1eb6dd-9c4a-4467-a241-e6bb3cd9270f · outbound
This paper cites Categories for the W orking Mathematician.
Categorical E-Graphs for Lambda Calculi Categories for the W orking Mathematician
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.637558Z
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 b468f16d-d7db-470a-8589-ea8bfad65b31 · outbound
This paper cites Functorial boxes in string diagrams.
Categorical E-Graphs for Lambda Calculi Functorial boxes in string diagrams
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.624490Z
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 b36a7f67-9949-4ce9-8153-6dbd1287ec9c · outbound
This paper cites Monoidal categories enriched in braided monoidal categ ories.
Categorical E-Graphs for Lambda Calculi Monoidal categories enriched in braided monoidal categ ories
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.610197Z
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 a4eab16f-4257-4ea8-8952-71fb38b7231a · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.595652Z
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 09b3bb38-f480-42dc-91bf-5f8d45aad869 · outbound
This paper cites Algebraic hierarchical graph transformation.
Categorical E-Graphs for Lambda Calculi Algebraic hierarchical graph transformation
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.582665Z
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 b0cc838b-6875-4ab7-a59e-0a23d93d6973 · outbound
This paper cites Spinors and space-time , vol.
Categorical E-Graphs for Lambda Calculi Spinors and space-time , vol
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.569131Z
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 946ebedf-809f-43e1-a073-c2d84ae42739 · outbound
This paper cites An introduction to string diagrams for computer scienti sts, 2023.
Categorical E-Graphs for Lambda Calculi An introduction to string diagrams for computer scienti sts, 2023
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.555188Z
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 e39ebedf-03b5-44e9-9b23-25337bbfff5b · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.540167Z
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 93310771-a911-44a1-bce4-21b710891c34 · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.525406Z
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 c6beaf4a-222a-4800-9874-bda3db729f7c · outbound
This paper cites A Survey of Graphical Languages for Monoidal Categories.
Categorical E-Graphs for Lambda Calculi A Survey of Graphical Languages for Monoidal Categories
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.512364Z
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 330f1ad6-5a6b-48ae-bc1b-0d70d7babb0a · outbound
This paper cites Colored e-graph: Equality reasoning with conditions, 2 023.
Categorical E-Graphs for Lambda Calculi Colored e-graph: Equality reasoning with conditions, 2 023
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.499593Z
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 d842767c-bfcb-4794-a19b-bda970c6935c · outbound
This paper cites Equality saturation: A new approach to optimization.
Categorical E-Graphs for Lambda Calculi Equality saturation: A new approach to optimization
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.485658Z
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 5f448f5a-f1dc-4c34-bd84-e14059f950de · outbound
This paper cites R., F LATT, O., T ATLOCK , Z., AND PANCHEKHA , P.
Categorical E-Graphs for Lambda Calculi R., F LATT, O., T ATLOCK , Z., AND PANCHEKHA , P
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.472220Z
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 59dbbc63-81aa-467a-8b4e-67835f77f784 · outbound
This paper cites R., W ILLSEY , M., AND TATLOCK , Z.
Categorical E-Graphs for Lambda Calculi R., W ILLSEY , M., AND TATLOCK , Z
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.458915Z
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 e563b8d8-ba47-4c70-bf52-a692b0f7cd21 · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.446367Z
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 b6d5893d-f602-431b-81ee-e31ca87fe06b · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.433866Z
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 5991b908-17ee-4b80-ba47-584e50f37424 · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.420402Z
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 5a7e18af-4eb1-4946-99c2-da7f1dcc8717 · outbound
This paper cites Theorem A.10 (Existence of pushouts in EHyp(Σ) ).
Categorical E-Graphs for Lambda Calculi Theorem A.10 (Existence of pushouts in EHyp(Σ) )
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.407273Z
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 a2e17fe2-ad0d-4b07-afa4-7323326a556f · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.393387Z
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 26cb576e-18e4-4820-881d-bb6dc16f7655 · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.380296Z
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 a4e6b8d4-57a7-4015-8251-93d1c16bd426 · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.366989Z
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 d3446458-1300-40f7-9146-763765d17888 · outbound
This paper cites then the pushout X +f,g Y exists.
Categorical E-Graphs for Lambda Calculi then the pushout X +f,g Y exists
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.353423Z
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 151c69ef-2dbd-40c6-8f57-c59f5d7f319e · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.340832Z
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 60e321bf-46bf-4c67-9ad0-8454bf88a185 · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.326999Z
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 f8f42f39-f822-4b88-a29e-6571068e8718 · outbound
This paper cites Then we define <µ X + Y / ∼ (ιEX + EY / ∼[e]) = [ <µ X+Y (ιEX +EY (e))].
Categorical E-Graphs for Lambda Calculi Then we define <µ X + Y / ∼ (ιEX + EY / ∼[e]) = [ <µ X+Y (ιEX +EY (e))]
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.311376Z
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 89e42421-ed74-4650-9612-d3db1e7b82b4 · outbound
This paper cites Clearly, all the cases above are disjoint.
Categorical E-Graphs for Lambda Calculi Clearly, all the cases above are disjoint
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.296123Z
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 a6738679-7db4-4fce-a9f4-bdbcf1eca177 · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.281859Z
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 28988a9e-7273-47a2-beaa-104abe8e6acb · outbound
This paper cites Then we let ⌣# X + Y / ∼(ιVX + VY / ∼([u])) = ⌣# X + Y / ∼(ιVX + VY / ∼([v])) Next we define ⌣# X + Y / ∼ for edges.
Categorical E-Graphs for Lambda Calculi Then we let ⌣# X + Y / ∼(ιVX + VY / ∼([u])) = ⌣# X + Y / ∼(ιVX + VY / ∼([v])) Next we define ⌣# X + Y / ∼ for edges
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.268240Z
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 63e56d2e-8d99-4994-8f2b-9b1cacdb47fd · outbound
This paper cites an unresolved cited work.
Categorical E-Graphs for Lambda Calculi Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-16T04:40:35.254265Z
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 76b0829d-9be9-4669-a5a0-7361a6b2378c · outbound
This paper cites Then we define ⌣X + Y / ∼(ιVX + VY / ∼([v])) and ⌣X + Y / ∼(ιEX + EY / ∼([e])) as closures of ⌣# X + Y / ∼ as below.
Categorical E-Graphs for Lambda Calculi Then we define ⌣X + Y / ∼(ιVX + VY / ∼([v])) and ⌣X + Y / ∼(ιEX + EY / ∼([e])) as closures of ⌣# X + Y / ∼ as below
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T04:40:35.240071Z
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.
Pith citing papers
No inbound Pith citation observations are available.