Notes on the theory of variable binding term operators
Newton C. A. da Costa, Chris Mortensen · History and Philosophy of Logic · 1983
The general theory of variable binding term operators is an interesting recent development in logic. It opens up a rich class of semantic and model-theoretic problems. In this paper we survey the recent literature on the topic, and offer some remarks on its significances and on its connections with other branches of mathematical logic.