Beta-reduction as uni cation (1996)

by A J Kfoury
Venue:Logic, Algebra, and Computer Science (H. Rasiowa Memorial Conference