RELATIONAL SEMANTICS FOR RECURSIVE TYPES AND BOUNDED QUANTIFICATION

被引：0

|

作者：

CARDONE, F

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 372卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：164 / 178

页数：15

相关论文

共 50 条

[1] A RELATIONAL SEMANTICS FOR THE LOGIC OF BOUNDED LATTICES
Gonzalez, Luciano J.
[J]. MATHEMATICA BOHEMICA, 2019, 144 (03): : 225 - 240
[2] Relational reasoning for recursive types and references
Bohr, Nina
Birkedal, Lars
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4279 : 79 - +
[3] On resemblance and recursive isomorphism types of bounded partial recursive functions
N. V. Litvinov
[J]. Siberian Mathematical Journal, 2000, 41 : 327 - 328
[4] On resemblance and recursive isomorphism types of bounded partial recursive functions
Litvinov, NV
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2000, 41 (02) : 327 - 328
[5] TYPE INFERENCE WITH RECURSIVE TYPES - SYNTAX AND SEMANTICS
CARDONE, F
COPPO, M
[J]. INFORMATION AND COMPUTATION, 1991, 92 (01) : 48 - 80
[6] Relational interpretations of recursive types an operational setting
Birkedal, L
Harper, R
[J]. INFORMATION AND COMPUTATION, 1999, 155 (1-2) : 3 - 63
[7] Bounded relational analysis of free data types
Dunets, Andriy
Schellhorn, Gerhard
Reif, Wolfgang
[J]. TESTS AND PROOFS, 2008, 4966 : 99 - +
[8] Denotational semantics of recursive types in synthetic guarded domain theory
Mogelberg, Rasmus E.
Paviotti, Marco
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2019, 29 (03) : 465 - 510
[9] Realisability semantics of parametric polymorphism, general references and recursive types
Birkedal, Lars
Stovring, Kristian
Thamsborg, Jacob
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2010, 20 (04) : 655 - 703
[10] Denotational semantics of recursive types in synthetic guarded domain theory
Mogelberg, Rasmus Ejlers
Paviotti, Marco
[J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 317 - 326

← 1 2 3 4 5 →