Search results

...pondences] and fixed-point combinators.<blockquote>''There may, indeed, be other applications of the system than its use as a logic.'' -- Alonzo Church, 193 ...ight not terminate for a given expression, though, despite termination via other orders (proofs under arbitrary reduction ordering are said to operate under ...