Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/85696
Author(s): João Luís Alves Barbosa
Title: Closed Types for Logic Programming
Issue Date: 2016-09-06
Subject: Ciências exactas e naturais
Natural sciences
Scientific areas: Ciências exactas e naturais
Natural sciences
TID identifier: 201390833
URI: https://repositorio-aberto.up.pt/handle/10216/85696
Document Type: Dissertação
Rights: openAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FCUP - Dissertação

Files in This Item:
File Description SizeFormat 
149753.pdfClosed Types for Logic Programming475.13 kBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons