Constructive Galois Connections

David Darais, David Van Horn. Constructive Galois Connections. Journal of Functional Programming, 29, 2019. [doi]

Abstract

Abstract is missing.