References in Type Theory

Pavel Naumov

November 25, 1997