TY  - RPRT
TI  - A logical analysis of fixpoint theorems
AU  - Arij Benkhadra
AU  - Isar Stubbe
PY  - 2022
UR  - https://arxiv.org/abs/2211.01782
ID  - 2211.01782
ER  -