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 条

[1] RECURSIVE EQUIVALENCE TYPES OF GROUPS
HASSETT, MJ
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (03) : 435 - &
[2] INFINITE PRODUCTS OF RECURSIVE EQUIVALENCE TYPES
FERGUSON, DC
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (02) : 221 - &
[3] Logical equivalence for subtyping object and recursive types
van Bakel, Steffen
de'Liguoro, Ugo
THEORY OF COMPUTING SYSTEMS, 2008, 42 (03) : 306 - 348
[4] Logical Equivalence for Subtyping Object and Recursive Types
Steffen van Bakel
Ugo de’Liguoro
Theory of Computing Systems, 2008, 42 : 306 - 348
[5] A coinductive completeness proof for the equivalence of recursive types
Cardone, F
THEORETICAL COMPUTER SCIENCE, 2002, 275 (1-2) : 575 - 587
[6] SOUND, TOTALLY SOUND, AND UNSOUND RECURSIVE EQUIVALENCE TYPES
DOWNEY, RG
ANNALS OF PURE AND APPLIED LOGIC, 1986, 31 (01) : 1 - 21
[7] RECURSIVE EQUIVALENCE TYPES AND COMBINATORIAL FUNCT+ONS
DEKKER, JCE
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 510 - &
[8] INVARIANCE OF PARTIAL ORDER OF RECURSIVE EQUIVALENCE TYPES UNDER FINITE DIVISION
HOROWITZ, L
KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETESCHAPPEN-PROCEEDINGS SERIES A-MATHEMATICAL SCIENCES, 1967, 70 (01): : 76 - &
[9] Primitive recursive equivalence relations and their primitive recursive complexity
Bazhenov, Nikolay
Ng, Keng Meng
San Mauro, Luca
Sorbi, Andrea
COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2022, 11 (3-4): : 187 - 221
[10] On the equivalence of types
Nart, Enric
JOURNAL DE THEORIE DES NOMBRES DE BORDEAUX, 2016, 28 (03): : 743 - 771

← 1 2 3 4 5 →