Bruijn, Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, Indagationes Mathematicae (1972)

by N de