A uniform approach to type theory [working material for the lectures of Gerard Huet, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989] - Huet, Gérard 1947- (1989)