Login / Signup
Full Abstraction for PCF.
Samson Abramsky
Pasquale Malacaria
Radha Jagadeesan
Published in:
TACS (1994)
Keyphrases
</>
high level
classification method
computer vision
objective function
dynamic programming