Please use this identifier to cite or link to this item:
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
Document Type: Dissertação
Rights: openAccess
Appears in Collections:FCUP - Dissertação

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

This item is licensed under a Creative Commons License Creative Commons