Exportar referência
APA
Fernando Ferreira, Patrícia Engrácia, (2020). Bounded functional interpretation with an abstract type. Contemporary Logic and Computing, 87-112
IEEE
Fernando Ferreira, Patrícia Engrácia, "Bounded functional interpretation with an abstract type" in Contemporary Logic and Computing, 2020, pp. 87-112
BIBTEX
@incollection{46749,
author = {Fernando Ferreira and Patrícia Engrácia},
title = {Bounded functional interpretation with an abstract type},
booktitle = {Contemporary Logic and Computing},
year = 2020,
pages = {87-112},
address = {London, England},
publisher = {College Publication}
}