On Constructivity of Galois Connections
From MaRDI portal
Publication:3296346
DOI10.1007/978-3-319-73721-8_21zbMath1446.68035arXiv1704.08909OpenAlexW2779234330MaRDI QIDQ3296346
Publication date: 7 July 2020
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1704.08909
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
This page was built for publication: On Constructivity of Galois Connections
