Sub-lambda-calculi, Classified.

François-Régis Sinot

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

fixed point
lambda calculus
sequent calculi
image sequences
spatial relations
neural network
machine learning
genetic algorithm
information systems
case study
database systems
expert systems