Comparing Combinatory Reduction Systems and Higher-Order Rewrite Systems (1993)

Cached

Download Links

by Vincent Van Oostrom , Femke Van Raamsdonk
Citations:18 - 3 self