Binding Forms in First-Order Logic.

Fabio Mogavero, Giuseppe Perelli

Browse the full CSL paper archive.