Programming Language Theory FlashcardHow to encode multiple arguments in lambda calculus?Properties 3Hide BooksChapter 5. The untyped/pure lambda-calculus ConceptsPure/Untyped lambda calculus Deckpure-lambda-calculusQuestionHow to encode multiple arguments in lambda calculus?AnswerUse currying. Previous in FlashcardsHow to encode booleans and conditionals using church booleans in lambda calculus?Next in Flashcards How to encode pairs in lambda calculus?