The Functional Lambda Abstraction Algebras Form a Variety.

Robert Goldblatt

Published in: DMTCS (1996)

Keyphrases

wide range
machine learning
information retrieval
information systems
wide variety
real world
e learning
high level
multi agent systems
fixed point
multi agent
temporal reasoning
spatial reasoning