A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory.
Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts
Browse the full LPNMR paper archive.
Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts
Browse the full LPNMR paper archive.