Search results

From dankwiki
  • ...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
    22 KB (3,197 words) - 17:09, 5 August 2011