Integrated Contraction Semantics (ICS), Semantic State Contraction (SSC), and Integrated Semantic Calculus (ISC) : A Metric-Free Resolution of a Foundational Open Question in Fixed-Point Theory (MDPI)
Fields of Study & Subjects
Fixed Point Theorems Analysis
Advanced Algebra and Logic
Logic
programming
and type systems
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 10 January 2026