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
The computational content of atomic polymorphism

Participantes na publicação
Gilda Ferreira (Author)
LASIGE
CMAFcIO
Vasco T Vasconcelos (Author)
Dep. Informática
LASIGE

Data de Publicação
2018-12-06

Suporte
Logic Journal of the IGPL

Identificadores da Publicação
ISSN - 1367-0751
eISSN - 1368-9894

Editora
Oxford University Press (OUP)

Volume
27
Fascículo
5

Número de Páginas
13
Página Inicial
625
Página Final
638

Identificadores do Documento
DOI - https://doi.org/10.1093/jigpal/jzy076
URL - http://dx.doi.org/10.1093/jigpal/jzy076

Identificadores de Qualidade
SCIMAGO Q1 (2018) - 0.349 - Philosophy


Exportar referência

APA
Gilda Ferreira, Vasco T Vasconcelos, (2018). The computational content of atomic polymorphism. Logic Journal of the IGPL, 27, 625-638. ISSN 1367-0751. eISSN 1368-9894. http://dx.doi.org/10.1093/jigpal/jzy076

IEEE
Gilda Ferreira, Vasco T Vasconcelos, "The computational content of atomic polymorphism" in Logic Journal of the IGPL, vol. 27, pp. 625-638, 2018. 10.1093/jigpal/jzy076

BIBTEX
@article{41858, author = {Gilda Ferreira and Vasco T Vasconcelos}, title = {The computational content of atomic polymorphism}, journal = {Logic Journal of the IGPL}, year = 2018, pages = {625-638}, volume = 27 }