Polynomially Safe Ordinal Descent Calculus : A Complexity-Certified Non-Metric Fixed-Point Framework (IEEE) (MDPI)
Fields of Study & Subjects
Fixed Point Theorems Analysis
Logic
programming
and type systems
Complexity and Algorithms in Graphs
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 15 February 2026
- Language
- EN