Full Idea
In the 'algebraic' approach to variables, we move from a quantified sentence to the term specifying a property (the λ-term), and then reducing to the algebraic operations for atomic formulas.
Gist of Idea
The 'algebraic' account of variables reduces quantification to the algebra of its component parts
Source
Kit Fine (Semantic Relationism [2007], 1.C)
Book Reference
Fine,Kit: 'Semantic Relationism' [OUP 2007], p.13
A Reaction
[Bealer is a source for this view] Fine describes it as an 'algebra of operations'. I presume this is a thoroughly formalist approach to the matter, which doesn't seem to get to the heart of the semantic question.