A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms.

Heiko Becker Jasmin Christian Blanchette Uwe Waldmann Daniel Wand

Published in: CADE (2017)

Keyphrases

higher order
knuth bendix
lower order
object oriented databases