The Basic Decision Problem in lambda-Calculus.

Benedetto Intrigila

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

Keyphrases

decision problems
lambda calculus
programming language
influence diagrams
decision model
computational complexity
predicate calculus
np hard
utility function
optimal policy
program understanding
database query languages
complex objects
higher order
databases
general purpose
optimal solution
reinforcement learning