Consistency and Completeness of the Theory of Combinators.

Haskell B. Curry

Published in: J. Symb. Log. (1941)

Keyphrases

theoretical framework
information technology
general theory
databases
computer vision
database systems
multi agent
lower bound
data warehouse
belief functions