The semi-full closure of Pure Type Systems

被引：0
|
作者：
Barthe, G [1 ]
机构：
[1] Chalmers Tekn Hogskola, Inst Datavetenskap, Gothenburg, Sweden
[2] Univ Minho, Dept Informat, Braga, Portugal
来源：
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998 | 1998年 / 1450卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show that every functional Pure Type System may be extended to a semi-full Pure Type System. Moreover, the extension is conservative and preserves weak normalization. Based on these results, we give a new, conceptually simple type-checking algorithm for functional Pure Type Systems.
引用
收藏
页码：316 / 325
页数：10
相关论文
共 50 条
  • [1] Equality is typable in Semi-Full Pure Type Systems
    Siles, Vincent
    Herbelin, Hugo
    25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 21 - 30
  • [2] WHAT IS THE IMPACT OF FULL-TIME OR SEMI-FULL SCHOOLS ON THE LEVEL OF PHYSICAL ACTIVITY AND SEDENTARY BEHAVIOR OF
    de Macedo Ferreira Santos, Thais Renata
    Torres Piraua, Andre Luiz
    Farah, Breno Quintella
    da Silva, Alison Oliveira
    Gomes de Barros, Mauro Virgilio
    Ritti-Dias, Raphael Mendes
    Oliveira, Luciano Machado
    HUMANIDADES & INOVACAO, 2020, 7 (10): : 297 - 304
  • [3] Using deepest regression method for optimization of fluidized bed granulation on semi-full scale
    Rambali, B
    Van Aelst, S
    Baert, L
    Massart, DL
    INTERNATIONAL JOURNAL OF PHARMACEUTICS, 2003, 258 (1-2) : 85 - 94
  • [4] TOXIC GASES EVOLUTION FROM AIR-CONTROLLED FIRES IN A SEMI-FULL SCALE ROOM
    MORIKAWA, T
    YANAI, E
    JOURNAL OF FIRE SCIENCES, 1986, 4 (05) : 299 - 314
  • [5] Using experimental design to optimize the process parameters in fluidized bed granulation on a semi-full scale
    Rambali, B
    Baert, L
    Massart, DL
    INTERNATIONAL JOURNAL OF PHARMACEUTICS, 2001, 220 (1-2) : 149 - 160
  • [6] Type inference for pure type systems
    Severi, P
    INFORMATION AND COMPUTATION, 1998, 143 (01) : 1 - 23
  • [7] SEMI-DENSE CLOSURE OF SYSTEMS OF FUNCTIONS
    DAVIS, PJ
    DUKE MATHEMATICAL JOURNAL, 1968, 35 (01) : 91 - &
  • [8] Pure patterns type systems
    Barthe, G
    Cirstea, H
    Kirchner, C
    Liquori, L
    ACM SIGPLAN NOTICES, 2003, 38 (01) : 250 - 261
  • [9] Modal Pure Type Systems
    Tijn Borghuis
    Journal of Logic, Language and Information, 1998, 7 (3) : 265 - 296
  • [10] Parameters in pure type systems
    Bloo, R
    Kamareddine, F
    Laan, T
    Nederpelt, R
    LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 : 371 - 385
12345