Typing Untyped lambda-Terms, or Reducibility Strikes Again!

Jean H. Gallier

Published in: Ann. Pure Appl. Log. (1998)

Keyphrases

information systems
feature selection
co occurrence
background knowledge
real time
knowledge base
artificial neural networks
query terms