Task: Sentence Composition
Input (English): For instance , they do not exist in simply typed lambda calculus .
Output (English): Fixed - point combinators do not necessarily exist in more restrictive models of computation .