ConceptCombinatorModified just nowProperties 3Hide BooksChapter 5. The untyped/pure lambda-calculus JourneyProgramming Language Theory StatuslearningA Lambda term that contains no Free variable, or in other words, a Closed term. Previous in ConceptsCodomainNext in Concepts Command