Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems (0)

by V van Oostrom, F van Raamsdonk
Venue:In Proc. of HOA’93, LNCS 816