Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement.

Koko Muroya, Makoto Hamana

Browse the full FLOPS paper archive.