de Bruijn. Lambda calculus with nameless dummies, a tool for automatic formula manipulation, with application to the ChurchRosser theorem (1972)

by N G
Venue:Proc. of the Koninklijke Nederlands Akademie