Abstract: 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 ...
1 Laval University, Lab for Biomaterials and Bioengineering (CRC-1) Dept. Min-Met-Materials and Chu de Quebec Res Center, Canada 2 Cegep Garneau, Physics Dept., Canada Introduction: Because of their ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results