Programming from Galois connections

dc.contributor.author José Nuno Oliveira en
dc.contributor.author Shin-Cheng Mu en
dc.date.accessioned 2017-11-16T14:09:28Z
dc.date.available 2017-11-16T14:09:28Z
dc.date.issued 2012 en
dc.description.abstract en
dc.identifier.uri http://repositorio.inesctec.pt/handle/123456789/2811
dc.identifier.uri http://dx.doi.org/10.1016/j.jlap.2012.05.003 en
dc.language eng en
dc.relation 5601 en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Programming from Galois connections en
dc.type article en
dc.type Publication en
Files