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