Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski. Galois Connections for Recursive Types. In Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan, editors, From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Volume 12065 of Lecture Notes in Computer Science, pages 105-131, Springer, 2020. [doi]
Abstract is missing.