1

Could you demonstrate the undecidability of higher-order unification by one example? For example, please show by one example that unification in lambda-calculus is undecidable.

nikkkk
  • 11
  • 1

0 Answers0