Ten selected publications of Erik Palmgren

• (with V. Stoltenberg-Hansen) Domain interpretations of Martin-Löf's partial type theory, Annals of Pure and Applied Logic 48(1990), 135-196.
• Type-theoretic interpretation of strictly positive, iterated inductive definitions, Archive for Mathematical Logic 32(1992), 75-99.
• A constructive approach to nonstandard analysis, Annals of Pure and Applied Logic 73(1995), 297 - 325.
• Constructive sheaf semantics, Mathematical Logic Quarterly 43(1997), 321 - 327.
• Developments in constructive nonstandard analysis. Bulletin of Symbolic Logic, 4(1998), 233-272.
• (with Th. Coquand) Intuitionistic choice and classical logic, Archive for Mathematical Logic, 39(2000), 53 - 74.
• (with I. Moerdijk) Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST, Annals of Pure and Applied Logic 114(2002), 155 - 201.
• Quotient spaces and coequalisers in formal topology. Journal of Universal Computer Science, 11 (2005), 1996 - 2007.
• (with Steve Vickers) Partial Horn logic and cartesian categories. Annals of Pure and Applied Logic, 145(2007), 314-355.
• A constructive and functorial embedding of locally compact metric spaces into locales. Topology and its Applications, 154 (2007), 1854 - 1880.
  Full list of publications is available here.