Programming Language Theory FlashcardWhich symbol is used to denote pure lambda calculus?Properties 3Hide BooksChapter 5. The untyped/pure lambda-calculus ConceptsPure/Untyped lambda calculus Deckpure-lambda-calculusQuestionWhich symbol is used to denote pure lambda calculus?Answer→ Previous in FlashcardsWhich symbol is used to denote enriched lambda calculus with numbers and booleans?Next in Flashcards Which symbol is usually used to denote subtyping relation?