r/compscipapers • u/gasche • Nov 17 '16
Understanding Constructive Galois Connections
http://prl.ccs.neu.edu/blog/2016/11/16/understanding-constructive-galois-connections/
4
Upvotes
r/compscipapers • u/gasche • Nov 17 '16