On Constructivity of Galois Connections
Abstract elided by the publisher.
Related papers
- Constructive Galois connections: taming the Galois connection framework for mechanized metatheory ICFP 2016
- Constructive Galois Connections JFP 2019
- Transport via Partial Galois Connections and Equivalences APLAS 2023
- Domain Precision in Galois Connection-Less Abstract Interpretation SAS 2023
- A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections SAS 2012
- A Galois connection calculus for abstract interpretation POPL 2014
- Foundations of dependent interoperability JFP 2018
- Galois transformers and modular abstract interpreters: reusable metatheory for program analysis OOPSLA 2015