Monotone recursive types and recursive data representations in Cedille

被引：0

|

作者：

Jenkins, Christopher ^{[1
]}

Stump, Aaron ^{[1
]}

机构：

[1] Computer Science, 14 MacLean Hall, The University of Iowa, Iowa City,IA, United States

来源：

Mathematical Structures in Computer Science | 2021年 / 31卷 / 06期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：682 / 745

相关论文

共 50 条

[1] On Monotone Recursive Preferences
Bommier, Antoine
Kochov, Asen
Le Grand, Francois
ECONOMETRICA, 2017, 85 (05) : 1433 - 1466
[2] RECURSIVE DISTRIBUTED REPRESENTATIONS
POLLACK, JB
ARTIFICIAL INTELLIGENCE, 1990, 46 (1-2) : 77 - 105
[3] RECURSIVE INTERFEROMETRIC REPRESENTATIONS
Mallat, Stephane
18TH EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO-2010), 2010, : 716 - 720
[4] On resemblance and recursive isomorphism types of partial recursive functions
Polyakov, EA
SIBERIAN MATHEMATICAL JOURNAL, 2001, 42 (01) : 131 - 133
[5] On Resemblance and Recursive Isomorphism Types of Partial Recursive Functions
E. A. Polyakov
Siberian Mathematical Journal, 2001, 42 : 131 - 133
[6] RECURSIVE ISOMORPHISM TYPES OF RECURSIVE BOOLEAN-ALGEBRAS
REMMEL, JB
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 572 - 594
[7] On the resemblance and recursive isomorphism types of partial recursive functions
N. V. Litvinov
Siberian Mathematical Journal, 2000, 41 : 138 - 140
[8] TYPES OF SIMILARITY AND OF RECURSIVE ISOMORPHISM OF PARTIAL RECURSIVE FUNCTIONS
POLYAKOV, EA
SIBERIAN MATHEMATICAL JOURNAL, 1989, 30 (06) : 993 - 998
[9] On the resemblance and recursive isomorphism types of partial recursive functions
Litvinov, NV
SIBERIAN MATHEMATICAL JOURNAL, 2000, 41 (01) : 138 - 140
[10] COMPUTING WITH RECURSIVE TYPES
COSMADAKIS, SS
FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 24 - 38

← 1 2 3 4 5 →