L17: Lambda Calculus Reductions and Substitution
code: https://gist.github.com/kmicinski/56b331a10415251b871c3c6a1648a08c dana scott's history of lambda calculus (5min-30min): https://youtu.be/uS9InrmPIoc?t...
🔥 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 Egypt under the topic 'red'.
About this video
code: https://gist.github.com/kmicinski/56b331a10415251b871c3c6a1648a08c
dana scott's history of lambda calculus (5min-30min): https://youtu.be/uS9InrmPIoc?t=303
Video Information
Views
17.8K
Total views since publication
Likes
273
User likes and reactions
Duration
33:55
Video length
Published
Mar 29, 2021
Release date
Quality
hd
Video definition