Domain Interpretations of Martin-Löf's Partial Type Theory. - Erik Palmgren; Viggo Stoltenberg-Hansen (Ann. Pure Appl. Log., 1990)

A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe. - Erik Palmgren (J. Symb. Log., 1991)

Type-theoretic interpretation of iterated, strictly positive inductive definitions. - Erik Palmgren (Arch. Math. Log., 1992)

Remarks on Martin-Löf's Partial Type Theory. - Erik Palmgren; Viggo Stoltenberg-Hansen (BIT, 1992)

Denotational Semantics of Constraint Logic Programming - A Nonstandard Approach. - Erik Palmgren (NATO ASI CP, 1993)

A Note on Mathematics of infinity. - Erik Palmgren (J. Symb. Log., 1993)

An Information System Interpretation of Martin-Löf's Partial Type Theory with Universes - Erik Palmgren (Inf. Comput., 1993)

Logically Presented Domains - Erik Palmgren; Viggo Stoltenberg-Hansen (LICS, 1995)

A Constructive Approach to Nonstandard Analysis. - Erik Palmgren (Ann. Pure Appl. Log., 1995)

The Friedman-Translation for Martin-Löf's Type Theory. - Erik Palmgren (Math. Log. Q., 1995)

A Sheaf-Theoretic Foundation for Nonstandard Analysis. - Erik Palmgren (Ann. Pure Appl. Log., 1997)

Minimal Models of Heyting Arithmetic. - Ieke Moerdijk; Erik Palmgren (J. Symb. Log., 1997)

A Logical Presentation of the Continuous Functionals. - Erik Palmgren; Viggo Stoltenberg-Hansen (J. Symb. Log., 1997)

Constructive Sheaf Semantics. - Erik Palmgren (Math. Log. Q., 1997)

Inaccessibility in Constructive Set Theory and Type Theory. - Michael Rathjen; Edward R. Griffor; Erik Palmgren (Ann. Pure Appl. Log., 1998)

Developments in constructive nonstandard analysis. - Erik Palmgren (Bull. Symb. Log., 1998)

Hyperfinite Type Structures. - Dag Normann; Erik Palmgren; Viggo Stoltenberg-Hansen (J. Symb. Log., 1999)

Intuitionistic choice and classical logic. - Thierry Coquand; Erik Palmgren (Arch. Math. Log., 2000)

Wellfounded trees in categories. - Ieke Moerdijk; Erik Palmgren (Ann. Pure Appl. Log., 2000)

An Effective Conservation Result for Nonstandard Arithmetic. - Erik Palmgren (Math. Log. Q., 2000)

Metric Boolean algebras and constructive measure theory. - Thierry Coquand; Erik Palmgren (Arch. Math. Log., 2002)

Type theories, toposes and constructive set theory: predicative aspects of AST. - Ieke Moerdijk; Erik Palmgren (Ann. Pure Appl. Log., 2002)

An Intuitionistic Axiomatisation of Real Closed Fields. - Erik Palmgren (Math. Log. Q., 2002)

A categorical version of the Brouwer-Heyting-Kolmogorov interpretation. - Erik Palmgren (Math. Struct. Comput. Sci., 2004)

Continuity on the real line and in formal spaces. - Erik Palmgren (From sets and types to topology and analysis, 2005)

Coequalisers of formal topology. - Erik Palmgren (Mathematics, Algorithms, Proofs, 2005)

Constructive completions of ordered sets, groups and fields. - Erik Palmgren (Ann. Pure Appl. Log., 2005)

Quotient Spaces and Coequalisers in Formal Topology. - Erik Palmgren (J. Univers. Comput. Sci., 2005)

Internalising modified realisability in constructive type theory. - Erik Palmgren (Log. Methods Comput. Sci., 2005)

Quotient topologies in constructive set theory and type theory. - Hajime Ishihara; Erik Palmgren (Ann. Pure Appl. Log., 2006)

Maximal and partial points in formal spaces. - Erik Palmgren (Ann. Pure Appl. Log., 2006)

Regular universes and formal spaces. - Erik Palmgren (Ann. Pure Appl. Log., 2006)

Binary Refinement Implies Discrete Exponentiation. - Peter Aczel; Laura Crosilla; Hajime Ishihara; Erik Palmgren; Peter Schuster 001 (Stud Logica, 2006)

Partial Horn logic and cartesian categories. - Erik Palmgren; Steven J. Vickers (Ann. Pure Appl. Log., 2007)

Resolution of the uniform lower bound problem in constructive analysis. - Erik Palmgren (Math. Log. Q., 2008)

Open sublocales of localic completions. - Erik Palmgren (J. Log. Anal., 2010)

Metric complements of overt closed sets. - Thierry Coquand; Erik Palmgren; Bas Spitters (Math. Log. Q., 2011)

Proof-relevance of families of setoids and identity in type theory. - Erik Palmgren (Arch. Math. Log., 2012)

A predicative completion of a uniform space. - Josef Berger; Hajime Ishihara; Erik Palmgren; Peter Schuster 001 (Ann. Pure Appl. Log., 2012)

Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets. - Erik Palmgren (Ann. Pure Appl. Log., 2012)

Double sequences, almost Cauchyness and BD-N. - Josef Berger; Douglas S. Bridges; Erik Palmgren (Log. J. IGPL, 2012)

A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis. - Erik Palmgren (J. Log. Anal., 2012)

Introduction: The philosophy of logical consequence and inference. - Sten Lindström; Erik Palmgren; Dag Westerståhl (Synth., 2012)

Constructivist Versus Structuralist Foundations. - Erik Palmgren (Epistemology versus Ontology, 2012)

A generalized cut characterization of the fullness axiom in CZF. - Laura Crosilla; Erik Palmgren; Peter Schuster 001 (Log. J. IGPL, 2013)

Formal continuity implies uniform continuity near compact images on metric spaces. - Erik Palmgren (Math. Log. Q., 2014)

Introduction - from type theory and homotopy theory to univalent foundations. - Steve Awodey; Nicola Gambino; Erik Palmgren (Math. Struct. Comput. Sci., 2015)

A constructive examination of rectifiability. - Douglas S. Bridges; Matthew Hendtlass; Erik Palmgren (J. Log. Anal., 2016)

On Equality of Objects in Categories in Constructive Type Theory. - Erik Palmgren (TYPES, 2017)

Constructions of categories of setoids from proof-irrelevant families. - Erik Palmgren (Arch. Math. Log., 2017)

A Constructive Examination of a Russell-Style Ramified Type Theory. - Erik Palmgren (Bull. Symb. Log., 2018)

Categories with families and first-order logic with dependent sorts. - Erik Palmgren (Ann. Pure Appl. Log., 2019)

Preface to the special issue for The Fifth Workshop on Formal Topology. - Thierry Coquand; Maria Emilia Maietti; Erik Palmgren (J. Log. Anal., 2019)

Exact Completion and Constructive Theories of Sets. - Jacopo Emmenegger; Erik Palmgren (J. Symb. Log., 2020)

From type theory to setoids and back. - Erik Palmgren (Math. Struct. Comput. Sci., 2022)