Pairings on Lambda Algebras.

William S. Hatcher Marcel Tonga

Published in: Math. Log. Q. (1991)

Keyphrases

fixed point
spatial reasoning
topological spaces
distributive lattices
lambda calculus
multiscale
computational complexity
neural network
information systems
decision trees
case study
special case
query language
temporal reasoning