On Full Abstraction for PCF: I, II, and III.

J. M. E. Hyland C.-H. Luke Ong

Published in: Inf. Comput. (2000)

Keyphrases

databases
database
real time
machine learning
web services
high level
database systems
decision theoretic planning