Hereditary Substitution for the λΔ-Calculus.

Harley Eades III Aaron Stump

Published in: COS (2013)

Keyphrases

relational calculus
proof procedure
algebraic structure
neural network
computer vision
image processing
three dimensional
special case
knowledge representation
automated deduction
computer algebra