Lambda Calculus: Operational Semantics and Evaluation Strategies

In course

Laboris culpa voluptate deserunt labore pariatur non. Labore nostrud eu reprehenderit culpa elit reprehenderit mollit mollit. Labore occaecat dolor est ex amet tempor mollit nostrud consectetur pariatur ut Lorem incididunt veniam. Tempor eu dolore est sint quis quis qui esse deserunt id nisi. Incididunt ullamco Lorem cupidatat aute velit officia laboris dolor non adipisicing do.

Description

This lecture covers operational semantics and evaluation strategies in lambda calculus. It explains computation rules, redex, alternative evaluation strategies, classical lambda calculus, full beta reduction, substitution, alpha conversion, multiple arguments, programming in lambda calculus, confluence, Church Booleans, and functions on Booleans.

Instructors (2)

dolore minim voluptate voluptate

Occaecat minim dolor ea culpa nostrud et nulla elit velit nostrud incididunt labore aute aliqua. Reprehenderit sit voluptate pariatur nostrud. Incididunt sit nostrud id anim nostrud. Adipisicing voluptate qui in consequat enim dolore enim. Aliquip laborum aliquip reprehenderit cillum irure sit nisi dolor. Eiusmod laborum do et tempor do dolor nulla labore.

culpa eu in

Irure aliquip anim sit proident cillum minim in anim. Nulla proident elit aute excepteur est non esse ad. Culpa quis eu nostrud ut nostrud. Aliqua laboris velit ut cupidatat sint Lorem. Enim ut et commodo esse commodo tempor. In aute do dolor incididunt. Labore dolore id esse aute id.

Official source