Don Pigozzi, Antonino Salibra. The abstract variable-binding calculus. Studia Logica, 55(1):129-179, 1995.
@article{PigozziS95, title = {The abstract variable-binding calculus}, author = {Don Pigozzi and Antonino Salibra}, year = {1995}, tags = {variable binding}, researchr = {https://researchr.org/publication/PigozziS95}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {55}, number = {1}, pages = {129-179}, }