Login / Signup
A Syntactical Proof of the Operational Equivalence of Two Lambda-Terms.
René David
Karim Nour
Published in:
Theor. Comput. Sci. (1997)
Keyphrases
</>
databases
reinforcement learning
real world
information retrieval
computer vision
relational databases