Lambda Substitution Algebras.

Zinovy Diskin Ilya Beylin

Published in: MFCS (1993)

Keyphrases

fixed point
spatial reasoning
topological spaces
data sets
computer vision
temporal reasoning
lambda calculus
database
neural network
artificial intelligence
e learning
three dimensional
objective function
boolean algebra
distributive lattices