DMCA

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

Cached

Download Links

by N. G. De Bruijn
Venue:INDAG. MATH
Citations:369 - 1 self