The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Erik Palmgren: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Erik Palmgren
    Coequalisers of formal topology. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  2. Erik Palmgren, Viggo Stoltenberg-Hansen
    Logically Presented Domains [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:455-463 [Conf]
  3. Ieke Moerdijk, Erik Palmgren
    Wellfounded trees in categories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:189-218 [Journal]
  4. Ieke Moerdijk, Erik Palmgren
    Type theories, toposes and constructive set theory: predicative aspects of AST. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:155-201 [Journal]
  5. 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]
  6. 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]
  7. Erik Palmgren
    Regular universes and formal spaces. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:137, n:1-3, pp:299-316 [Journal]
  8. 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]
  9. 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]
  10. Erik Palmgren, Viggo Stoltenberg-Hansen
    Domain Interpretations of Martin-Löf's Partial Type Theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1990, v:48, n:2, pp:135-196 [Journal]
  11. Michael Rathjen, Edward R. Griffor, Erik Palmgren
    Inaccessibility in Constructive Set Theory and Type Theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1998, v:94, n:1-3, pp:181-200 [Journal]
  12. Hajime Ishihara, Erik Palmgren
    Quotient topologies in constructive set theory and type theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:257-265 [Journal]
  13. Erik Palmgren, Steven J. Vickers
    Partial Horn logic and cartesian categories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2007, v:145, n:3, pp:314-353 [Journal]
  14. Erik Palmgren, Viggo Stoltenberg-Hansen
    Remarks on Martin-Löf's Partial Type Theory. [Citation Graph (0, 0)][DBLP]
    BIT, 1992, v:32, n:1, pp:70-83 [Journal]
  15. 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]
  16. 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]
  17. Ieke Moerdijk, Erik Palmgren
    Minimal Models of Heyting Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1448-1460 [Journal]
  18. Dag Normann, Erik Palmgren, Viggo Stoltenberg-Hansen
    Hyperfinite Type Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:3, pp:1216-1242 [Journal]
  19. 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]
  20. Erik Palmgren
    A Note on Mathematics of infinity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:4, pp:1195-1200 [Journal]
  21. Erik Palmgren, Viggo Stoltenberg-Hansen
    A Logical Presentation of the Continuous Functionals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:3, pp:1021-1034 [Journal]
  22. Erik Palmgren
    Quotient Spaces and Coequalisers in Formal Topology. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:12, pp:1996-2007 [Journal]
  23. Erik Palmgren
    Internalising modified realisability in constructive type theory. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2005, v:1, n:2, pp:- [Journal]
  24. Erik Palmgren
    An Effective Conservation Result for Nonstandard Arithmetic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:1, pp:17-23 [Journal]
  25. Erik Palmgren
    An Intuitionistic Axiomatisation of Real Closed Fields. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:297-299 [Journal]
  26. Erik Palmgren
    The Friedman-Translation for Martin-Löf's Type Theory. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1995, v:41, n:, pp:314-326 [Journal]
  27. Erik Palmgren
    Constructive Sheaf Semantics. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1997, v:43, n:, pp:321-327 [Journal]
  28. 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]

  29. Metric Boolean algebras and constructive measure theory. [Citation Graph (, )][DBLP]


  30. Intuitionistic choice and classical logic. [Citation Graph (, )][DBLP]


  31. Internalising modified realisability in constructive type theory [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002