Typing and Computational Properties of Lambda Expressions.

Published in: Theor. Comput. Sci. (1986)

Keyphrases

computational properties
expressive power
logic programs
description logics
facial expressions
semantic properties
reasoning problems
natural language
database
databases
query language
text mining
bayesian network classifiers
propositional theories