BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Intuitionistic nonstandard bounded modified realisability and functional interpretation

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

Date of Publication
2018-05-00

Where published
Annals of Pure and Applied Logic

Publication Identifiers
ISSN - 0168-0072

Publisher
Elsevier BV

Volume
169
Number
5

Starting page
392
Last page
412

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

Rankings
SCIMAGO Q1 (2018) - 1.226 - Logic


Export

APA
Bruno Dinis, Jaime Gaspar, (2018). Intuitionistic nonstandard bounded modified realisability and functional interpretation. Annals of Pure and Applied Logic, 169, 392-412. ISSN 0168-0072. eISSN . http://dx.doi.org/10.1016/j.apal.2017.12.004

IEEE
Bruno Dinis, Jaime Gaspar, "Intuitionistic nonstandard bounded modified realisability and functional interpretation" in Annals of Pure and Applied Logic, vol. 169, pp. 392-412, 2018. 10.1016/j.apal.2017.12.004

BIBTEX
@article{37724, author = {Bruno Dinis and Jaime Gaspar}, title = {Intuitionistic nonstandard bounded modified realisability and functional interpretation}, journal = {Annals of Pure and Applied Logic}, year = 2018, pages = {392-412}, volume = 169 }