## Beta-Reduction As Unification (1996)

by
A.J. Kfoury

Citations: | 13 - 9 self |

### BibTeX

@MISC{Kfoury96beta-reductionas,

author = {A.J. Kfoury},

title = {Beta-Reduction As Unification},

year = {1996}

}

### Years of Citing Articles

### OpenURL

### Abstract

this report, we use a lean version of the usual system of intersection types, whichwe call . Hence, UP is also an appropriate unification problem to characterize typability of -terms in . Quite apart from the new light it sheds on fi-reduction, such an analysis turns out to have several other benefits