Formalization of Recursive Path Orders for Lambda-Free Higher-Order Terms.

Jasmin Christian Blanchette Uwe Waldmann Daniel Wand

Published in: Arch. Formal Proofs (2016)

Keyphrases

higher order
lambda calculus
neural network
high order
pairwise
knowledge representation
shortest path
formal model
databases
social networks
low order
lower order