Some Results on the Full Abstraction Problem for Restricted Lambda Calculi.

Furio Honsell Marina Lenisa

Published in: MFCS (1993)

Keyphrases

high level
fuzzy logic
state space
fixed point
data sets
real world
learning algorithm
bayesian networks
optimal solution
decision theoretic planning