skip to main content
Idioma:
Refinado por: Nome da Publicação: Archive For Mathematical Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Constructions of categories of setoids from proof-irrelevant families
Constructions of categories of setoids from proof-irrelevant families
Material Type:
Artigo 		Adicionar ao Meu Espaço

Constructions of categories of setoids from proof-irrelevant families

Palmgren, Erik

Archive for mathematical logic, 2017-02, Vol.56 (1-2), p.51-66 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Proof-relevance of families of setoids and identity in type theory
Proof-relevance of families of setoids and identity in type theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proof-relevance of families of setoids and identity in type theory

Palmgren, Erik

Archive for mathematical logic, 2012-02, Vol.51 (1-2), p.35-47 [Periódico revisado por pares]

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
3
Metric Boolean algebras and constructive measure theory
Metric Boolean algebras and constructive measure theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Metric Boolean algebras and constructive measure theory

Coquand, Thierry ; Palmgren, Erik

Archive for mathematical logic, 2002-10, Vol.41 (7), p.687-704 [Periódico revisado por pares]

Heidelberg: Springer Nature B.V

Texto completo disponível

Citações Citado por
4
Intuitionistic choice and classical logic
Intuitionistic choice and classical logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Intuitionistic choice and classical logic

Coquand, Thierry ; Palmgren, Erik

Archive for mathematical logic, 2000-01, Vol.39 (1), p.53-74 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
TYPE-THEORETIC INTERPRETATION OF ITERATED, STRICTLY POSITIVE INDUCTIVE DEFINITIONS
TYPE-THEORETIC INTERPRETATION OF ITERATED, STRICTLY POSITIVE INDUCTIVE DEFINITIONS
Material Type:
Artigo 		Adicionar ao Meu Espaço

TYPE-THEORETIC INTERPRETATION OF ITERATED, STRICTLY POSITIVE INDUCTIVE DEFINITIONS

PALMGREN, E

Archive for mathematical logic, 1992-03, Vol.32 (2), p.75-99 [Periódico revisado por pares]

NEW YORK: Springer Nature

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.