de Bruijn. Lambda Calculus notation with nameless dummies: a tool for automatic formula manipulation (1972)

by G Nicolas
Venue:Indagationes Mathematicæ