Foundations of Programming Languages: Typed and Untyped Lambda-Calculus - Paul Downen - OPLSS 2018
Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon https://www.cs.uoregon.edu/research/summerschool/...
🔥 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 Portugal under the topic 'paulo martins rtp'.
About this video
Oregon Programming Languages Summer School
Parallelism and Concurrency
July 3-21, 2018
University of Oregon
https://www.cs.uoregon.edu/research/summerschool/summer18/
Title: Foundations of Programming Languages: Typed and Untyped Lambda-Calculus
Speaker: Paul Downen, University of Oregon
Date: Tuesday, 3 July 2018, Session 4
Topics: untyped lambda-calculus ; typed lambda-calculus ; alpha, beta, and eta laws ; beta reduction ; Church encodings ; fixed-point (Y) combinator ; Russell's Paradox
© 2018, University of Oregon
Video Information
Views
2.7K
Total views since publication
Likes
32
User likes and reactions
Duration
01:22:45
Video length
Published
Jul 31, 2018
Release date
Quality
hd
Video definition
About the Channel
Tags and Topics
This video is tagged with the following topics. Click any tag to explore more related content and discover similar videos:
#OPLSS #lambda-calculus #untyped #typed #Y combinator #fixed-point combinator #recursion #beta reduction #Paul #Downen
Tags help categorize content and make it easier to find related videos. Browse our collection to discover more content in these categories.