English

A fixed point theorem for COFEs

Programming Languages 2023-06-05 v1

Abstract

A new fixed point principle for complete ordered families of equivalences (COFEs) is presented, which is stronger than the standard Banach-type fixed point principle.

Cite

@article{arxiv.2306.01662,
  title  = {A fixed point theorem for COFEs},
  author = {Stephen Dolan},
  journal= {arXiv preprint arXiv:2306.01662},
  year   = {2023}
}
R2 v1 2026-06-28T10:54:45.947Z