Church Encoding: Programming in the Lambda Calculus
This lecture covers a translation of a significant subset of Scheme down to just three forms: lambdas, variables, and applications. With just these forms (th...
About this video
This lecture covers a translation of a significant subset of Scheme down to just three forms: lambdas, variables, and applications. With just these forms (the lambda calculus), you can build all of computation! Special thanks to Thomas Gilray (https://thomas.gilray.org), who helped make the slides.
4.6
4 user reviews
Write a Review
User Reviews
0 reviewsBe the first to comment...
Video Information
Views
4.3K
Total views since publication
Likes
76
User likes and reactions
Duration
59:28
Video length
Published
Apr 7, 2020
Release date
Quality
hd
Video definition
About the Channel
Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in United Kingdom under the topic 'charlotte church'.
Share This Video
SOCIAL SHAREShare this video with your friends and followers across all major social platforms including X (Twitter), Facebook, Youtube, Pinterest, VKontakte, and Odnoklassniki. Help spread the word about great content!