Programming Language Theory FlashcardHow to encode pairs in lambda calculus?Properties 3Hide BooksChapter 5. The untyped/pure lambda-calculus ConceptsPure/Untyped lambda calculus Deckpure-lambda-calculusQuestionHow to encode pairs in lambda calculus?Answerpair=λf. λs. λo. o f sfst=λp. p trusnd=λp. p fls Previous in FlashcardsHow to encode multiple arguments in lambda calculus?Next in Flashcards How to get the type of an expression in rocq?