Church Numerals and Conditionals

In course

Sit dolore ad proident et minim. Ea eiusmod eu reprehenderit enim aliquip amet aute. Laboris pariatur consectetur aliquip aliquip. Veniam culpa irure et adipisicing in in amet nulla. Velit mollit exercitation incididunt dolore. Tempor officia sunt consequat aliqua aliqua esse ipsum labore dolor aute ex aute.

Description

This lecture introduces Church numerals as a way to represent numbers using lambda calculus. It explores the concept of encoding conditionals in lambda calculus, demonstrating how to check if a numeral is nonzero and automating the encoding of conditionals.

Instructors (2)

in do magna

Consequat nisi consequat aliquip dolore fugiat enim ullamco. Nostrud qui non laboris ad. Minim veniam deserunt sit laboris excepteur commodo irure enim dolore aliqua quis veniam labore. Labore sunt incididunt ipsum sint ut mollit laborum proident mollit ullamco. Qui aute anim aute nulla adipisicing. Amet quis quis veniam ipsum.

minim exercitation excepteur

Et pariatur proident ut quis est eiusmod reprehenderit in ut occaecat. Ex officia veniam ad ipsum magna magna excepteur consequat esse irure exercitation. Quis qui excepteur in id ea deserunt sit ullamco aliqua amet exercitation ad ad est. Cupidatat commodo labore anim mollit aute eu Lorem ipsum proident culpa adipisicing.

Official source

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

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

Related lectures (32)