# Introduction To Lambda Calculus

- Institution: IIT Roorkee
- Department: Computer Science and Engineering
- Teacher: Prof. Rajdeep Niyogi
- Level: Undergraduate
- Language: English
- Subjects: Computer science, Engineering
- Source: [NPTEL](https://nptel.ac.in/courses/106107854)
- Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.)
- Syllabus: [at the source](https://nptel.ac.in/courses/106107854)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [Foundations of Lambda Calculus](https://invisiblenetwork.ai/learn/nptel/106107854/a49b568d0f31) (Video)
2. [Syntax of Lambda Calculus](https://invisiblenetwork.ai/learn/nptel/106107854/ff785f3c6a1d) (Video)
3. [Free Variable, Scope, and Reduction](https://invisiblenetwork.ai/learn/nptel/106107854/3df6987d45c4) (Video)
4. [Normal Forms](https://invisiblenetwork.ai/learn/nptel/106107854/06e86b710442) (Video)
5. [Encoding if-then-else and Recursion](https://invisiblenetwork.ai/learn/nptel/106107854/646c212c2982) (Video)
6. [Combinators and Recursive Functions](https://invisiblenetwork.ai/learn/nptel/106107854/ad980443a21d) (Video)
7. [Church numerals and design of some functions](https://invisiblenetwork.ai/learn/nptel/106107854/fe3c1e3f8165) (Video)
8. [Encoding Boolean Operations and Standard Combinators](https://invisiblenetwork.ai/learn/nptel/106107854/b5894e64bdf1) (Video)
9. [Data Structures in Lambda Calculus](https://invisiblenetwork.ai/learn/nptel/106107854/a9dfeba2c4e8) (Video)
10. [Haskell: A Brief Introduction](https://invisiblenetwork.ai/learn/nptel/106107854/1a7566afa4ee) (Video)
11. [Type and Type Systems](https://invisiblenetwork.ai/learn/nptel/106107854/e9efb81df1e1) (Video)
12. [Typed Lambda Calculus](https://invisiblenetwork.ai/learn/nptel/106107854/90b5757ce64c) (Video)
13. [A Formal Type Assignment System](https://invisiblenetwork.ai/learn/nptel/106107854/36fc36163214) (Video)
14. [The structure of a term, a TA𝜆 deduction, and a type](https://invisiblenetwork.ai/learn/nptel/106107854/5fdf21793515) (Video)
15. [Restricted Lambda Terms and Type Safe](https://invisiblenetwork.ai/learn/nptel/106107854/65e7d269efa5) (Video)
16. [Term Unification](https://invisiblenetwork.ai/learn/nptel/106107854/d283357471b3) (Video)
17. [Principal Type Algorithm](https://invisiblenetwork.ai/learn/nptel/106107854/3b816933c772) (Video)
18. [Curry-Howard Correspondence I](https://invisiblenetwork.ai/learn/nptel/106107854/226e78db2001) (Video)
19. [Curry-Howard Correspondence-II](https://invisiblenetwork.ai/learn/nptel/106107854/cd9006120f09) (Video)
20. [Strong Polymorphic Types](https://invisiblenetwork.ai/learn/nptel/106107854/1d1db7ce3bab) (Video)