No adjectives found for “pure lambda-calculus”

Either “pure lambda-calculus” is not a common noun or it may be misspelled. Try one of the suggestions below or search a different word.