DECIDABILITY OF HIGHER-ORDER MATCHING

被引：4
|
作者：
Stirling, Colin [1 ]
机构：
[1] Univ Edinburgh, Sch Informat, Edinburgh EH8 9AB, Midlothian, Scotland
来源：
LOGICAL METHODS IN COMPUTER SCIENCE | 2009年 / 5卷 / 03期
关键词：
Games; higher-order matching; simply typed lambda calculus;
D O I：
10.2168/LMCS-5(3:2)2009
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show that the higher-order matching problem is decidable using a game-theoretic argument.
引用
收藏
页数：52
相关论文
共 50 条
12345