scientific article; zbMATH DE number 2090019
From MaRDI portal
Recommendations
Cited in
(17)- Prelogical relations
- On the antisymmetry of Galois embeddings
- Constructive Galois connections
- Safety of abstract interpretations for free, via logical relations and Galois connections
- scientific article; zbMATH DE number 1670816 (Why is no real title available?)
- A calculus of logical relations for over- and underapproximating static analyses
- Pair algebras and Galois connections.
- scientific article; zbMATH DE number 2149944 (Why is no real title available?)
- scientific article; zbMATH DE number 4145879 (Why is no real title available?)
- Static Analysis
- Extracting program logics from abstract interpretations defined by logical relations
- scientific article; zbMATH DE number 1670499 (Why is no real title available?)
- Constructive Galois connections: taming the Galois connection framework for mechanized metatheory
- scientific article; zbMATH DE number 6787684 (Why is no real title available?)
- On constructivity of Galois connections
- Galois connections in categorial type logic
- scientific article; zbMATH DE number 2087342 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808686)