TY  - RPRT
TI  - A Constructive Framework for Galois Connections
AU  - Francesco Ranzato
PY  - 2017
UR  - https://arxiv.org/abs/1704.08909
ID  - 1704.08909
ER  -