The investigation in Uppsala has been concerned with foundations and carried out at the Department of Mathematics. Of primary interest has been the areas of effective algebras, their representations using domains and representations using non-standard models. Furthermore the strength of various constructive type theories has been determined. A monograph on domain theory authored by three members of the Uppsala group [V Stoltenberg-Hansen, I Lindström and E Griffor, Mathematical Theory of Domains, Cambridge Tracts in Theoretical Computer Science 22, Cambridge University Press, 1994, 350 pp] appeared in the autumn of 1994.