Domain-free [lambda][mu]-calculus.

Ken-etsu Fujita

Published in: RAIRO Theor. Informatics Appl. (2000)

Keyphrases

domain specific
databases
domain independent
real time
neural network
data mining
artificial intelligence
decision making
automated deduction
lambda calculus