Pruning Simply Typed Lambda-Terms.

Stefano Berardi

Published in: J. Log. Comput. (1996)

Keyphrases

higher order
artificial intelligence
co occurrence
database
real time
databases
decision making
lower bound
search space