The Calculus lambda-pi.

Loe M. G. Feijs

Published in: Algebraic Methods (1987)

Keyphrases

lambda calculus
fixed point
database query languages
expressive power
genetic algorithm
algebraic structure
neural network
artificial intelligence
information systems
multiscale
computer algebra