Pen-and-paper session: Lambda Calculus Proofs

In course

Elit ea cupidatat nostrud incididunt fugiat tempor sunt magna laboris laboris enim veniam elit. In excepteur culpa aute in tempor in enim veniam velit laboris. Anim ad sit sit adipisicing. Tempor pariatur eiusmod exercitation proident Lorem qui. Minim eu dolore consequat duis deserunt tempor enim reprehenderit ut. Aliquip do sunt esse dolore aliquip in magna proident non voluptate est tempor.

Description

This lecture covers a pen-and-paper session on Lambda Calculus, focusing on proving the uniqueness of terms after reductions. The instructor guides the audience through structural induction on the term structure, demonstrating how to reason about closed terms and manipulate free variables. The session includes detailed explanations and examples, encouraging students to engage in the exercise and explore the intricacies of Lambda Calculus proofs.

This video is available exclusively on Mediaspace for a restricted audience. Please log in to MediaSpace to access it if you have the necessary permissions.

Watch on Mediaspace

Instructor

aliquip esse veniam

Eu do occaecat sit dolor tempor eu eiusmod consequat exercitation quis laborum consectetur esse. Veniam sint nostrud aliquip aliqua aliquip sunt adipisicing tempor nisi commodo irure id. Sunt exercitation ad pariatur eu ullamco nulla adipisicing commodo. Id culpa deserunt excepteur cupidatat pariatur sunt. Deserunt ullamco quis quis proident voluptate sunt mollit.

Official source

https://mediaspace.epfl.ch/media/0_inwle32r

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Theoretical computer science

Programming language theory: Type theory

Logic

Classical logic: First-order logic

Related lectures (31)