No hierarchy found for “pure lambda calculus”

“pure lambda calculus” may not be a concrete noun or may not be in WordNet. Try a different word.