Paper Citation Record · LEDGER

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution

As of 8 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2505.24812.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.24812 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:22:49.429027Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

31 of 31 outbound references displayed

verified exact0
verified fuzzy31
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 87d6fc9c-277d-4dea-8d61-dbdf9c9a4722 · outbound

This paper cites Abstract syntax and variable binding,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Abstract syntax and variable binding,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:57.631529Z

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 71f1fb9b-cb56-4ceb-bbdc-8189fa2f846b · outbound

This paper cites A new approach to abstract syntax involving binders,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution A new approach to abstract syntax involving binders,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:57.481618Z

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 899a9ee6-b99a-4285-830f-2abb0f36c8ed · outbound

This paper cites Abstract syntax and variable binding for linear binders,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Abstract syntax and variable binding for linear binders,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:57.149656Z

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 d0579018-0989-461d-a560-aa6c9ece7e99 · outbound

This paper cites Une th ´eorie combinatoire des s´eries formelles,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Une th ´eorie combinatoire des s´eries formelles,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:56.279642Z

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 5cf4fa9a-e52a-483e-9701-e3fa14136597 · outbound

This paper cites Foncteurs analytiques et esp `eces de structures,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Foncteurs analytiques et esp `eces de structures,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:56.042232Z

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 f0d4d5a3-69bd-4144-9b41-c0759867fc2c · outbound

This paper cites A unified category-theoretic semantics for binding signatures in substructural logics,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution A unified category-theoretic semantics for binding signatures in substructural logics,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:55.875464Z

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 e7401d3b-2113-4671-b151-bb02ccc872f4 · outbound

This paper cites Notes on combinatorial functors,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Notes on combinatorial functors,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:55.731093Z

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 e0ef0cd5-4dfc-49e3-b883-25dc2c5dc393 · outbound

This paper cites A fully abstract model for the π-calculus,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution A fully abstract model for the π-calculus,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:55.409191Z

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 cf722e02-2521-4608-96e0-9747f2fe0296 · outbound

This paper cites On the structure of substitution,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution On the structure of substitution,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:54.557508Z

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 9427281a-3485-46c8-ba2b-d6419fa2937f · outbound

This paper cites Towards a mathematical theory of substitution,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Towards a mathematical theory of substitution,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:54.307145Z

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 046afbd7-4e87-4772-8b3b-33dcc5de6787 · outbound

This paper cites Categorical algebra,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Categorical algebra,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:54.071494Z

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 64683992-093f-4f46-ace6-85656391ab97 · outbound

This paper cites Operads and PROPs,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Operads and PROPs,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:53.865598Z

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 7874f3b2-6e36-4a73-83f3-fac7cd7d882c · outbound

This paper cites Finite sets and symmetric simplicial sets,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Finite sets and symmetric simplicial sets,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:53.634619Z

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 85560ccf-bb48-4565-beb1-e7850cefaa76 · outbound

This paper cites On closed categories of functors,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution On closed categories of functors,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:53.453197Z

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 6b4bc582-10d7-499c-8e65-bc58f0803642 · outbound

This paper cites A universal property of the convolution monoidal structure,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution A universal property of the convolution monoidal structure,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:53.299184Z

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 438cf7ea-ce8a-4ff5-b84c-1b66bbbca4ae · outbound

This paper cites Strong functors and monoidal monads,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Strong functors and monoidal monads,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:53.075304Z

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 b11266f0-22dc-4198-bd3b-620f7968b70a · outbound

This paper cites Lectures on semantics: The initial algebra and final coalgebra perspectives,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Lectures on semantics: The initial algebra and final coalgebra perspectives,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:52.862535Z

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 831a344a-8803-497d-b091-68a382e14832 · outbound

This paper cites Functional programming with bananas, lenses, envelopes and barbed wire,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Functional programming with bananas, lenses, envelopes and barbed wire,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:52.647263Z

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 31b16ef0-5540-4791-a163-26fe9e623c7c · outbound

This paper cites Nordstr ¨om, K.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Nordstr ¨om, K

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:52.433530Z

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 38233192-242e-458a-999e-170244cc0f36 · outbound

This paper cites Generalised folds for nested datatypes,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Generalised folds for nested datatypes,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:52.181273Z

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 0e54c1be-3161-4414-9b27-a6f6bdfe0656 · outbound

This paper cites A fixpoint theorem for complete categories,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution A fixpoint theorem for complete categories,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:51.956048Z

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 b3ab8f21-2510-4e0b-8c42-d47c17a288c0 · outbound

This paper cites Substitution in non-wellfounded syntax with variable binding,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Substitution in non-wellfounded syntax with variable binding,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:51.735747Z

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 ef916a99-062b-4451-86c1-91330fbd5369 · outbound

This paper cites Second-order and dependently-sorted abstract syntax,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Second-order and dependently-sorted abstract syntax,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:51.556040Z

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 9e8faef4-3407-4a5f-9c8a-56fd3a4ff68b · outbound

This paper cites Second-order equational logic,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Second-order equational logic,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:51.332598Z

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 4924c8c5-5405-4a7c-a3b5-1987804dd8d7 · outbound

This paper cites Second-order algebraic theories,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Second-order algebraic theories,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:51.139086Z

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 be9f7be5-c4ed-4420-877e-f86b8c79fd26 · outbound

This paper cites Substitution, jumps, and algebraic effects,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Substitution, jumps, and algebraic effects,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:50.918054Z

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 3304a3cb-5d12-4a04-9d9b-3411a9ab80f1 · outbound

This paper cites A finite algebraic presentation of Lawvere theories in the object-classifier topos,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution A finite algebraic presentation of Lawvere theories in the object-classifier topos,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:50.706408Z

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 678bb563-291e-4969-a7dc-ad406bc176e0 · outbound

This paper cites Lie structure and composition,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Lie structure and composition,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:50.348533Z

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 d3a377c1-35d0-456f-b868-1be288abc888 · outbound

This paper cites A fully abstract model for the π-calculus,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution A fully abstract model for the π-calculus,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:49.928212Z

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 01b566e4-6601-44a4-879f-8f49b8782ba6 · outbound

This paper cites On the operads of J.P. May,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution On the operads of J.P. May,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:49.752618Z

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 cfafb2ee-04bf-4fb2-a117-1cbdbee9c321 · outbound

This paper cites Taut functors and the difference operator,.

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution Taut functors and the difference operator,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:22:49.600966Z

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.