@Inproceedings{types/BogaertsC21,
  author    = {Bogaerts, Bart and Cruz-Filipe, Luis},
  year      = {2021},
  title     = {A Formalisation of Approximation Fixpoint Theory},
  editor    = {Henning Basold},
  booktitle = {{\rm TYPES 2021 -- Book of Abstracts}},
  pages     = {41-44}
}