1988] From type-structures to Type Theories Lecture Notes, Spring semester 1987/8 (0)

by G Longo