Principles of Dependent Type Theory (via juuso) — discussion

#pdf #plt