Learn · NPTEL

Course10610785420 lectures

Introduction To Lambda Calculus

Prof. Rajdeep Niyogi · IIT Roorkee

Start with lecture 1 At NPTEL

Lectures

Week 1

  1. Foundations of Lambda Calculus Video
  2. Syntax of Lambda Calculus Video
  3. Free Variable, Scope, and Reduction Video
  4. Normal Forms Video
  5. Encoding if-then-else and Recursion Video

Week 2

  1. Combinators and Recursive Functions Video
  2. Church numerals and design of some functions Video
  3. Encoding Boolean Operations and Standard Combinators Video
  4. Data Structures in Lambda Calculus Video
  5. Haskell: A Brief Introduction Video

Week 3

  1. Type and Type Systems Video
  2. Typed Lambda Calculus Video
  3. A Formal Type Assignment System Video
  4. The structure of a term, a TA𝜆 deduction, and a type Video
  5. Restricted Lambda Terms and Type Safe Video

Week 4

  1. Term Unification Video
  2. Principal Type Algorithm Video
  3. Curry-Howard Correspondence I Video
  4. Curry-Howard Correspondence-II Video
  5. Strong Polymorphic Types Video

Syllabus and materials

At NPTEL, as the course publishes them.

Credits and licence

Institution
IIT Roorkee
Department
Computer Science and Engineering
Teacher
Prof. Rajdeep Niyogi
Level
Undergraduate
Language
English
Subjects
Computer science, Engineering
Source
NPTEL
Licence
CC BY-NC-SA, as NPTEL states it. Non-commercial use only. NPTEL's terms
Attribution
NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
Who can watch
NPTEL gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed