EQUATIONAL SPECIFICATION OF PARTIAL HIGHER-ORDER ALGEBRAS

被引：2

作者：

BROY, M

机构：

[1] Univ Passau, Germany

来源：

THEORETICAL COMPUTER SCIENCE | 1988年 / 57卷 / 01期

关键词：

Algebraic Abstract Types - Deduction Rules - Equational Specification - Partial Higher-Order Algebras - Partial Interpretations - Positive Conditional Formulas;

D O I：

10.1016/0304-3975(88)90162-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：3 / 45

页数：43

共 50 条

[21] HASCASL: Integrated higher-order specification and program development
Schroeder, Lutz
Mossakowski, Till
[J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (12-13) : 1217 - 1260
[22] Partial recursive functions in Higher-Order Logic
Krauss, Alexander
[J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 589 - 603
[23] Higher-order Algebras and Coalgebras from Parameterized Endofunctors
Kim, Jiho
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 264 (02) : 141 - 154
[24] IMAGES OF HIGHER-ORDER DIFFERENTIAL OPERATORS OF POLYNOMIAL ALGEBRAS
Liu, Dayan
Sun, Xiaosong
[J]. BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2017, 96 (02) : 205 - 211
[25] Lie Jets and Higher-Order Partial Connections
Shurygin V.V.
[J]. Journal of Mathematical Sciences, 2020, 248 (4) : 497 - 504
[26] PARTIAL INTERPRETATIONS OF HIGHER-ORDER ALGEBRAIC TYPES
BROY, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 233 : 29 - 43
[27] SYSTEM DESCRIPTION OF LAMBDALG - A HIGHER-ORDER ALGEBRAIC SPECIFICATION LANGUAGE
GUI, YX
OKADA, M
[J]. LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 354 - 356
[28] IMPLEMENTING HIGHER-ORDER FUNCTIONS IN AN ALGEBRAIC SPECIFICATION LANGUAGE WITH NARROWING
REUS, B
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 483 - 484
[29] Higher-Order Intentionality and Higher-Order Acquaintance
Benj Hellie
[J]. Philosophical Studies, 2007, 134 : 289 - 324
[30] Higher-order intentionality and higher-order acquaintance
Hellie, Benj
[J]. PHILOSOPHICAL STUDIES, 2007, 134 (03) : 289 - 324

← 1 2 3 4 5 →