Artigo Acesso aberto Revisto por pares

Programming from Galois connections