Login / Signup

The Discrimination Theorem Holds for Combinatory Weak Reduction.

J. Roger Hindley
Published in: Theor. Comput. Sci. (1979)
Keyphrases