Constructive Galois connections: taming the Galois connection framework for mechanized metatheory
From MaRDI portal
Publication:2985779
DOI10.1145/2951913.2951934zbMath1361.68129arXiv1511.06965MaRDI 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
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
06A15: Galois correspondences, closure operators (in relation to ordered sets)
Related Items