BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
A parametrised functional interpretation of Heyting arithmetic

Participants in the publication
Bruno Dinis (Author)
Dep. Matemática
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Paulo Oliva (Author)

Date of Publication
2021-04

Where published
Annals of Pure and Applied Logic

Publication Identifiers
ISSN - 0168-0072

Publisher
Elsevier BV

Volume
172
Number
4

Starting page
102940

Document Identifiers
DOI - https://doi.org/10.1016/j.apal.2020.102940
URL - http://dx.doi.org/10.1016/j.apal.2020.102940

Rankings
SCIMAGO Q1 (2018) - 1.226 - Logic


Export

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 }