Huet, G. (1989). 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].
Chicago Style (17th ed.) CitationHuet, Gérard. 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]. Marktoberdorf, 1989.
MLA (9th ed.) CitationHuet, Gérard. 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]. 1989.
Warning: These citations may not always be 100% accurate.