Hyper-MacNeille Completions of Heyting Algebras. - Harding, J.; Lauridsen, F. M. (Studia Logica, 2021)