Similar Items: Some theorems on passing from local to global presence of properties of functions
- Some observations on the logical foundations of inductive theorem proving
- An implicit function theorem for the stream calculus
- Characterization theorem for the conditionally computable real functions
- Typing Copyless Message Passing
- The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
- Statman's Hierarchy Theorem