Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

Publisher Website
Google Scholar
Abstract
No abstract available