Telescopic mappings in typed lambda calculus

The paper develops notation for strings of abstractors in typed lambda calculus, and shows how to treat them more or less as single abstractors.

Authors

• N.G. de Bruijn

Keywords

No keywords are indexed for this paper.