Relationship between -calculus and Rewriting Systems for Categorical Combinators, Theoret (1989)

by H Yokouchi
Venue:Computer Sc