Marcelo Fiore

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution

2025 · arXiv (Cornell University)

We develop a unified categorical theory of substructural abstract syntax with variable binding and single-variable (capture-avoiding) substitution. This is done for the gamut of context structural rules given by exchange (linear theory) with weakening (affine …