Title: Basic simple type theory
Subjects: Programming languages (Electronic computers), Type theory, Programming languages (electronic computers), Programming Languages, Langages de programmation, Théorie des types, Typentheorie, Programmeertalen, Types, Théorie des