Login / Signup

Syntactically free, semantically bound. A note on variables.

Hugues Leblanc
Published in: Notre Dame J. Formal Log. (1968)
Keyphrases