HIGHER-ORDER UNIFICATION WITH DEPENDENT FUNCTION TYPES

被引：0

|

作者：

ELLIOTT, CM

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 355卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：121 / 136

页数：16

相关论文

共 50 条

[1] A higher-order unification algorithm for inductive types and dependent types
Qingping Tan
Journal of Computer Science and Technology, 1997, 12 (3) : 231 - 243
[2] A Higher-Order Unification Algorithm for Inductive Types and Dependent Types
谭庆平
JournalofComputerScienceandTechnology, 1997, (03) : 231 - 243
[3] Higher-order unification algorithm for inductive types and dependent types
Qingping, T.
Journal of Computer Science and Technology, 1997, 12 (03): : 231 - 243
[4] Higher-Order Dynamic Pattern Unification for Dependent Types and Records
Abel, Andreas
Pientka, Brigitte
TYPED LAMBDA CALCULI AND APPLICATIONS, (TLCA 2011), 2011, 6690 : 10 - 26
[5] Higher-order superposition for dependent types
Virga, R
REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 123 - 137
[6] Higher-order games with dependent types
Escardo, Martin
Oliva, Paulo
THEORETICAL COMPUTER SCIENCE, 2023, 974
[7] Deaccenting and higher-order unification
Gardent C.
Journal of Logic, Language and Information, 2000, 9 (3) : 313 - 338
[8] Corrections and higher-order unification
Gardent, C
Kohlhase, M
van Leusen, N
NATURAL LANGUAGE PROCESSING AND SPEECH TECHNOLOGY: RESULTS OF THE 3RD KONVENS CONFERENCE, 1996, : 268 - 279
[9] Ramified higher-order unification
GoubaultLarrecq, J
12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 410 - 421
[10] Channel dependent types for higher-order mobile processes
Yoshida, N
ACM SIGPLAN NOTICES, 2004, 39 (01) : 147 - 160

← 1 2 3 4 5 →