RECURSIVE EQUIVALENCE TYPES AND OCTAHEDRA

被引：0

作者：

DEKKER, JCE ^{[1
]}

机构：

[1] RUTGERS STATE UNIV, NEW BRUNSWICK, NJ 08903 USA

来源：

JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS | 1983年 / 34卷 / FEB期

关键词：

D O I：

10.1017/S1446788700019790

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：101 / 113

页数：13

共 50 条

[41] Streams of Approximations, Equivalence of Recursive Effectful Programs
Veltri, Niccolo
Voorneveld, Niels
MATHEMATICS OF PROGRAM CONSTRUCTION (MPC 2022, 2022, 13544 : 198 - 221
[42] An algebraic view on recursive types
Marz, M
APPLIED CATEGORICAL STRUCTURES, 1999, 7 (1-2) : 147 - 157
[43] Recursive Session Types Revisited
Dardha, Ornela
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (162): : 27 - 34
[44] RECURSIVE PROPERTIES OF ISOMORPHISM TYPES
MOSES, M
BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 1984, 29 (03) : 419 - 421
[45] RECURSIVE PROPERTIES OF ISOMORPHISM TYPES
MOSES, M
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1983, 34 (APR): : 269 - 286
[46] An Algebraic View on Recursive Types
Michael Marz
Applied Categorical Structures, 1999, 7 : 147 - 157
[47] Decidability properties of recursive types
Cardone, F
Coppo, M
THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2841 : 242 - 255
[48] Levy Labels and Recursive Types
Statman, Rick
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 392 - 406
[49] Recursive families of inductive types
Capretta, V
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 73 - 89
[50] Syntactic considerations on recursive types
Abadi, M
Fiore, MP
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 242 - 252