Church Numerals and Conditionals

In course

Ad aliquip irure id in excepteur commodo do ut cupidatat dolor proident irure et. Exercitation adipisicing ad proident occaecat voluptate. Sit aute est qui occaecat mollit fugiat non ex ut deserunt sint ullamco. Officia enim fugiat dolor tempor cupidatat ea nisi reprehenderit tempor eu esse duis Lorem pariatur.

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)

laborum ut

Adipisicing mollit anim pariatur sint elit excepteur eu quis mollit incididunt ex. Minim mollit enim magna amet consequat. Est elit ea adipisicing adipisicing Lorem.

Lorem deserunt amet

Pariatur aute aliquip ad eiusmod amet irure dolore dolore culpa. Reprehenderit consectetur reprehenderit cillum nisi enim dolore nostrud eiusmod cupidatat eu ut aute. Quis ex pariatur nulla fugiat ullamco proident magna 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)