Login / Signup

-Complete in the λβ-Calculus

Benedetto IntrigilaRichard Statman
Published in: Log. Methods Comput. Sci. (2009)
Keyphrases