@misc{indiciae88eeedf7690a,
  title = {Hyper-MacNeille Completions of Heyting algebras},
  author = {John Harding and Frederik Lauridsen},
  year = {2019},
  url = {https://arxiv.org/abs/1912.09166},
  note = {Source identifier: 1912.09166}
}