INTERSECTION TYPES FOR lambda(Gtz)-CALCULUS

被引：0

作者：

Ghilezan, Silvia ^{[1
]}

Ivetic, Jelena ^{[1
]}

机构：

[1] Univ Novom Sadu, Fak Tehnickih Nauka, Trg Dositeja Obradovica 6, Novi Sad 21000, Serbia

来源：

PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD | 2007年 / 82卷 / 96期

关键词：

D O I：

10.2298/PIM0796085G

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We introduce an intersection type assignment system for Espirito-Santo's lambda(Gtz)-calculus, a term calculus embodying the Curry-Howard correspondence for the intuitionistic sequent calculus. We investigate basic properties of this intersection type system. Our main result is Subject reduction property.

引用

页码：85 / 91

页数：7

共 50 条

[1] A typed lambda calculus with intersection types
Bono, Viviana
Venneri, Betti
Bettini, Lorenzo
THEORETICAL COMPUTER SCIENCE, 2008, 398 (1-3) : 95 - 113
[2] Strict Intersection Types for the Lambda Calculus
Van Bakel, Steffen
ACM COMPUTING SURVEYS, 2011, 43 (03)
[3] Full intersection types and topologies in lambda calculus
Ghilezan, S
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2001, 62 (01) : 1 - 14
[4] Intersection Types for Light Affine Lambda Calculus
de Carvalho, Daniel
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 136 : 133 - 152
[5] Logic and Computation in a Lambda Calculus with Intersection and Union Types
Dougherty, Daniel J.
Liquori, Luigi
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 173 - 191
[6] A binary modal logic for the intersection types of lambda-calculus
Valentini, S
Viale, M
INFORMATION AND COMPUTATION, 2003, 185 (02) : 211 - 232
[7] Non-idempotent intersection types for the Lambda-Calculus
Bucciarelli, Antonio
Kesner, Delia
Ventura, Daniel
LOGIC JOURNAL OF THE IGPL, 2017, 25 (04) : 431 - 464
[8] Lambda Calculus With Types
Rezus, Adrian
STUDIA LOGICA, 2015, 103 (06) : 1319 - 1326
[9] INTERSECTION TYPES FOR THE λμ-CALCULUS
van Bakel, Steffen
Barbanera, Franco
de'Liguoro, Ugo
LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)
[10] Intersection types and lambda models
Alessi, F
Barbanera, F
Dezani-Ciancaglini, M
THEORETICAL COMPUTER SCIENCE, 2006, 355 (02) : 108 - 126

← 1 2 3 4 5 →