Similar Items: An implicit function theorem for the stream calculus
- Implicit Resolution
- Characterization theorem for the conditionally computable real functions
- Some theorems on passing from local to global presence of properties of functions
- Implicit vs Unfolded Graph Neural Networks
- Statman's Hierarchy Theorem
- The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems