Basic Simple Type Theory, J. Roger Hindley.

Hans-Jörg Tiede

Published in: J. Log. Lang. Inf. (1999)

Keyphrases

computational model
decision making
probability distribution
databases
artificial intelligence
image processing
objective function
data structure