Login / Signup
Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof.
Peter Møller Neergaard
Published in:
J. Funct. Program. (2005)
Keyphrases
</>
neural network
information retrieval
computer vision
image processing
reinforcement learning
expert systems
highly reliable