Conservativeness of Lambda over lambda-sigma-Calculus.

Masahiko Sato Yukiyoshi Kameyama

Published in: Logic, Language and Computation (1994)

Keyphrases

lambda calculus
fixed point
database query languages
data sets
data mining
search engine
information systems
real time
neural network
computer vision
image processing
expert systems
evolutionary algorithm
provably correct
computer algebra