Full Abstraction and Expressive Completenes for FP

Joseph Y. Halpern Edward L. Wimmers

Published in: LICS (1987)

Keyphrases

high level
neural network
machine learning
lower bound
data abstraction
decision theoretic planning
data sets
information systems
three dimensional
computational complexity
programming language