Towards higher-order types.

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorCamarão, Carlos-
Autor(es): dc.creatorFigueiredo, Lucília Camarão de-
Data de aceite: dc.date.accessioned2019-11-06T13:32:03Z-
Data de disponibilização: dc.date.available2019-11-06T13:32:03Z-
Data de envio: dc.date.issued2015-01-26-
Data de envio: dc.date.issued2015-01-26-
Data de envio: dc.date.issued1998-
Fonte completa do material: dc.identifierhttp://www.repositorio.ufop.br/handle/123456789/4377-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/557432-
Idioma: dc.languageen-
Direitos: dc.rightsThis article is published under the terms of the Creative Commons Attribution-NonCommercial-No Derivatives License (CC BY NC ND). For non-commercial purposes you may distribute and copy the article and include it in a collective work (such as an anthology), provided you do not alter or modify the article, without permission from Elsevier. The original work must always be appropriately credited. Fonte: Elsevier <http://www.copyright.com/rlQuickPrice.do?operation=refreshPrice#formTop>. Acesso em: 13 jan. 2015.-
Título: dc.titleTowards higher-order types.-
Aparece nas coleções:Repositório Institucional - UFOP

Não existem arquivos associados a este item.