Home » Authors » Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand

Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand

Public reference bibliography and cataloged PDF materials authored or published by Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand.

Found 1 document(s) Page 1 of 1

A Lambda-Free Higher-Order Recursive Path Order

Year: 2017 • Source: hal.science • Listed PDF

We generalize the recursive path order (RPO) to higher-order terms without λ-abstraction. This new order fully coincides with the standard RPO on first-order terms also in the presence of currying, distinguishing it from...