Decidability of higher-order matching

Abstract

We show that the higher-order matching problem is decidable using a game-theoretic argument.

Keywords

• computer science - logic in computer science
• computer science - computer science and game theory
• f.4.1