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 条
  • [31] A calculus of lambda calculus contexts
    Bognar, M
    De Vrijer, R
    JOURNAL OF AUTOMATED REASONING, 2001, 27 (01) : 29 - 59
  • [32] THE GUARDED LAMBDA-CALCULUS PROGRAMMING AND REASONING WITH GUARDED RECURSION FOR COINDUCTIVE TYPES
    Clouston, Ranald
    Bizjak, Ales
    Grathwohl, Hans Bugge
    Birkedal, Lars
    LOGICAL METHODS IN COMPUTER SCIENCE, 2016, 12 (03)
  • [33] Lambda calculus with patterns
    Klop, Jan Willem
    van Oostrom, Vincent
    de Vrijer, Roel
    THEORETICAL COMPUTER SCIENCE, 2008, 398 (1-3) : 16 - 31
  • [34] The dagger lambda calculus
    Atzemoglou, Philip
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (172): : 217 - 235
  • [35] A Braided Lambda Calculus
    Hasegawa, Masahito
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (353): : 94 - 108
  • [36] Clocked lambda calculus
    Endrullis, Jorg
    Hendriks, Dimitri
    Klop, Jan Willem
    Polonsky, Andrew
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017, 27 (05) : 782 - 806
  • [37] The algebraic lambda calculus
    Vaux, Lionel
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (05) : 1029 - 1059
  • [38] On the lambda Y calculus
    Statman, R
    17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 159 - 166
  • [39] Objects and their lambda calculus
    Tzouvaras, A
    THEORETICAL COMPUTER SCIENCE, 2001, 258 (1-2) : 209 - 232
  • [40] THE SAFE LAMBDA CALCULUS
    Blum, William
    Ong, C. -H. Luke
    LOGICAL METHODS IN COMPUTER SCIENCE, 2009, 5 (01)
12345