Type Theory References

Courses and Books

Philip Wadler, Programming Foundations in Agda

Benjamin Pierce, Types and Programming Languages

Robert Harper, Practical Foundations of Programming Languages

Pfenning, CMU Logic Course

Carlson, Brief Notes on Type Theory

Other references

Nordström, Petersson and Smith, Martin-Löf’s Type Theory

Palmgren, Lecture Notes on Type Theory

Shulman, Basics of Type Theory

Altenkirch, Introduction to (Homotopy) Type Theory

Altenkirch, Briston talk