Login / Signup
Coercive subtyping in lambda-free logical frameworks.
Robin Adams
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