Lambda calculus with namefree formulas involving symbols that represent reference transforming mappings

Publisher Website

1 January 1978

journal article
Published by Elsevier in Indagationes Mathematicae

Vol. 81 (1) , 348-356
https://doi.org/10.1016/s1385-7258(78)80025-0

Abstract

No abstract available

This publication has 1 reference indexed in Scilit:

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