Coercive subtyping in lambda-free logical frameworks.

Published in: LFMTP (2009)

Keyphrases

lambda calculus
predicate calculus
databases
neural network
learning algorithm
image processing
image sequences
probabilistic model
fixed point
situation calculus
logical structure