Full abstraction for nominal Scott domains.

Steffen Lösch Andrew M. Pitts

Published in: POPL (2013)

Keyphrases

real time
application domains
database
real world
machine learning
computer vision
feature selection
decision making
e learning
case study
high level
learning environment
transfer learning
cross domain