Enumerators of lambda Terms are Reducing Constructively.

Henk Barendregt

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

Keyphrases

neural network
multiscale
co occurrence
knowledge base
computational complexity
rough sets
metadata
feature extraction
reinforcement learning
information technology
fuzzy sets
logic programs
background knowledge