Generalized Finiteness of Developments in Typed Lambda Calculi.

Silvia Ghilezan

Published in: J. Autom. Lang. Comb. (1996)

Keyphrases

lambda calculus
higher order
fixed point
artificial intelligence
real time
learning algorithm
programming language
set valued
database
databases
neural network
data mining
genetic algorithm
decision making
database systems