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
}