Constraint-Lambda Calculi.

Matthias M. Hölzl John N. Crossley

Published in: FroCoS (2002)

Keyphrases

fixed point
database
databases
neural network
real time
genetic algorithm
sufficient conditions
constraint solving