Beta-reduction as unification (1996)

by A J Kfoury
Venue:Banach Center Publication