Currying of Order-Sorted Term Rewriting Systems.

Yoshinobu Kawabe, Naohiro Ishii

Browse the full COCOON paper archive.