Affiliation: | Department of Computer Science, Chalmers University of Technology and Gothenburg University, SE-412 96 G?teborg, Sweden. e-mail: coquand@cs.chalmers.se, SE Department of Mathematics, Uppsala University, P.O. Box 480, SE-751 06 Uppsala, Sweden. e-mail: palmgren@math.uu.se, SE
|