Date of Original Version

1995

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

Abstract: "A hyperbasis is a combinatory basis for the lambda calculus which can represent all lambda terms in any infinite set of trees. The usual bases are not hyper. We show that a finite hyperbasis exists."

Share

COinS