Linearity, Non-determinism and Solvability

被引：11
|
作者：
Pagani, Michele [1 ]
Della Rocca, Simona Ronchi [2 ]
机构：
[1] Univ Paris 13, Lab Informat Paris Nord, F-93430 Villetaneuse, France
[2] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy
来源：
FUNDAMENTA INFORMATICAE | 2010年 / 103卷 / 1-4期
关键词：
RESOURCE LAMBDA-CALCULUS; TAYLOR EXPANSION; TERMS;
D O I：
10.3233/FI-2010-324
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We study the notion of solvability in the resource calculus, an extension of the lambda-calculus modelling resource consumption. Since this calculus is non-deterministic, two different notions of solvability arise, one optimistic (angelical, may) and one pessimistic (demoniac, must). We give a syntactical, operational and logical characterization for the may-solvability and only a partial characterization of the must-solvability. Finally, we discuss the open problem of a complete characterization of the must-solvability.
引用
收藏
页码：173 / 202
页数：30
相关论文
共 50 条
  • [1] REFINING NON-DETERMINISM IN NP
    KINTALA, CMR
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (06): : A596 - A596
  • [2] Resolving Non-determinism in Choreographies
    Bocchi, Laura
    Melgratti, Hernan
    Tuosto, Emilio
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 8410 : 493 - 512
  • [3] On non-determinism in machines and languages
    Grumbach, S
    Lacroix, Z
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 19 (1-2) : 169 - 213
  • [4] Kolmogorov complexity and non-determinism
    Grigorieff, S
    Marion, JY
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 271 (1-2) : 151 - 180
  • [5] On non-determinism in machines and languages
    Stéphane Grumbach
    Zoé Lacroix
    [J]. Annals of Mathematics and Artificial Intelligence, 1997, 19 : 169 - 213
  • [6] Non-Determinism and the Dynamics of Knowledge
    Grossi, Davide
    Herzig, Andreas
    van der Hoek, Wiebe
    Moyzes, Christos
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1053 - 1059
  • [7] Non-determinism in nowadays computing and IT education
    Henno, J.
    Jaakkola, H.
    Makela, J.
    [J]. 2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020), 2020, : 794 - 801
  • [8] Stochastic non-determinism and effectivity functions
    Doberkat, Ernst-Erich
    Sanchez Terraf, Pedro
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 357 - 394
  • [9] PHRASE STRUCTURES, NON-DETERMINISM AND BACKTRACKING
    ALLISON, L
    [J]. INFORMATION PROCESSING LETTERS, 1978, 7 (03) : 139 - 143
  • [10] Non-determinism in the Uptake of Gestural Information
    Ilaria Cutica
    Monica Bucciarelli
    [J]. Journal of Nonverbal Behavior, 2015, 39 : 289 - 315
12345