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.