The calculus of dependent lambda eliminations.

Published in: J. Funct. Program. (2017)

Keyphrases

lambda calculus
image segmentation
fixed point
automated deduction
computer algebra
neural network
knowledge base
website
case study
expert systems
relational databases