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.
Asked
Active
Viewed 39 times