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
- 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