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