Programming from Galois connections

From MaRDI portal
Publication:1931902

DOI10.1016/j.jlap.2012.05.003zbMath1257.68057OpenAlexW2180807186MaRDI QIDQ1931902

José Nuno Oliveira, Shin-Cheng Mu

Publication date: 16 January 2013

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.05.003




Related Items (7)


Uses Software


Cites Work




This page was built for publication: Programming from Galois connections