Ten selected publications of Erik Palmgren
 (with V. StoltenbergHansen) Domain interpretations of MartinLöf's partial type theory, Annals of Pure and Applied Logic
48(1990), 135196.
 Typetheoretic interpretation of strictly positive, iterated inductive definitions, Archive for Mathematical Logic 32(1992), 7599.

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), 233272.

(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), 314355.

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.