Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2011 | Programming from Galois Connections | Mu, Shin-Cheng; Oliveira, Jose Nuno | ||||
2012 | Programming from Galois connections | Mu, Shin-Cheng; Oliveira, José Nuno | Journal of Logic and Algebraic Programming 81, 680–704 |