Course contentsShow
Computer Science
Lesson 1862 of 2,87242. Turing Machines and ComputabilityPro lesson

Alternative Models: Lambda Calculus

Introduction to Church's lambda calculus as another formalization of computable functions.

This lesson is for subscribers

You've completed the free preview. Subscribe to unlock every lesson in every course.