Bruijn, Lambda-calcuIus Notation with Nameless Dummies, a Tool for Automatic Formula X,Ianipulation (1972)

by S De
Venue:Indag. Mat