Erik Palmgren Constructive completions of ordered sets, groups and fields. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2005, v:135, n:1-3, pp:243-262 [Journal]
Erik Palmgren Maximal and partial points in formal spaces. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2006, v:137, n:1-3, pp:291-298 [Journal]
Erik Palmgren A Constructive Approach to Nonstandard Analysis. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1995, v:73, n:3, pp:297-325 [Journal]
Erik Palmgren A Sheaf-Theoretic Foundation for Nonstandard Analysis. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1997, v:85, n:1, pp:69-86 [Journal]
Erik Palmgren Developments in constructive nonstandard analysis. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1998, v:4, n:3, pp:233-272 [Journal]
Erik Palmgren An Information System Interpretation of Martin-L\"of's Partial Type Theory with Universes [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:106, n:1, pp:26-60 [Journal]
Erik Palmgren A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1991, v:56, n:3, pp:1012-1015 [Journal]
Erik Palmgren A categorical version of the Brouwer-Heyting-Kolmogorov interpretation. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2004, v:14, n:1, pp:57-72 [Journal]