Login / Signup

Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus.

Paula SeveriFer-Jan de Vries
Published in: WoLLIC (2011)
Keyphrases
  • lambda calculus
  • programming language
  • databases
  • higher order
  • predicate calculus
  • knowledge base
  • knowledge representation