#### DMCA

## Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem (1972)

by
N. G. De Bruijn

Venue: | INDAG. MATH |

Citations: | 369 - 1 self |