48 citations · 122 across the 17 of their papers we have counts for
1 paper · 1 filter
David Darais, David Van Horn
Galois connections are a foundational tool for structuring abstraction in semantics and their use lies at the heart of the theory of abstract interpretation. Yet, mechanization of…