de Bruijn. -Calculus Notation with Nameless Dummies, A Tool for Automatic Formula Manipulation (1972)

by N G
Venue:Indag. Math