Login / Signup

Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables.

Murdoch James GabbayDominic P. Mulligan
Published in: LFMTP (2009)
Keyphrases
  • higher order
  • database
  • learning algorithm
  • machine learning
  • artificial intelligence
  • decision trees