Type systems for computer algebra - Weber, Andreas 1972- (Tübingen, Univ., Diss., 1993, 1993)