Publicacions en col·laboració amb investigadors/es de University of Antwerp (1)

1994

  1. Strongly normalizing extensions

    Journal of Pure and Applied Algebra, Vol. 92, Núm. 2, pp. 161-172