BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
A parametrised functional interpretation of Heyting arithmetic

Participantes na publicação
Bruno Dinis (Author)
Dep. Matemática
CMAFcIO
Paulo Oliva (Author)

Data de Publicação
2021-04

Suporte
Annals of Pure and Applied Logic

Identificadores da Publicação
ISSN - 0168-0072

Editora
Elsevier BV

Volume
172
Fascículo
4

Página Inicial
102940

Identificadores do Documento
DOI - https://doi.org/10.1016/j.apal.2020.102940
URL - http://dx.doi.org/10.1016/j.apal.2020.102940

Identificadores de Qualidade
SCIMAGO Q1 (2018) - 1.226 - Logic


Exportar referência

APA
Bruno Dinis, Paulo Oliva, (2021). A parametrised functional interpretation of Heyting arithmetic. Annals of Pure and Applied Logic, 172, ISSN 0168-0072. eISSN . http://dx.doi.org/10.1016/j.apal.2020.102940

IEEE
Bruno Dinis, Paulo Oliva, "A parametrised functional interpretation of Heyting arithmetic" in Annals of Pure and Applied Logic, vol. 172, 2021. 10.1016/j.apal.2020.102940

BIBTEX
@article{47493, author = {Bruno Dinis and Paulo Oliva}, title = {A parametrised functional interpretation of Heyting arithmetic}, journal = {Annals of Pure and Applied Logic}, year = 2021, volume = 172 }