No parts found for “pure lambda calculus”

“pure lambda calculus” may be an abstract word or not in WordNet. Try a concrete noun like “car”, “tree”, or “house”.