next up previous contents
Next: Relevant Papers Up: No Title Previous: Relevant Talks

Scientific Output from Uppsala

  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.





Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995