Constructive Galois connections: taming the Galois connection framework for mechanized metatheory
From MaRDI portal
Publication:2985779
DOI10.1145/2951913.2951934zbMath1361.68129arXiv1511.06965OpenAlexW2282057970MaRDI QIDQ2985779
David Darais, David A. Vanhorn
Publication date: 10 May 2017
Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1511.06965
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (1)
This page was built for publication: Constructive Galois connections: taming the Galois connection framework for mechanized metatheory
