Results of completeness for classes of AF2 system types

被引：0
|
作者：
Farkh, S [1 ]
Nour, K [1 ]
机构：
[1] Univ Savoie, Equipe Log, LAMA, F-73376 Le Bourget Du Lac, France
来源：
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 1997年 / 31卷 / 06期
关键词：
D O I：
10.1051/ita/1997310605131
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
J.-L. Krivine introduced the AF2 type system in order to obtain programs (lambda-terms) which calculate functions, by writing demonstrations of their totalities. We present in this paper two results of completeness for some types of AF2 and for many notions of reductions. These results generalize a theorem of R. Labib-Sami established in the system of J.-Y. Girard.
引用
收藏
页码：513 / 537
页数：25
相关论文
共 50 条
  • [1] ENHANCEMENTS TO AF2/WYFFOS ON THE WHT
    Skillen, I.
    Dominguez Palmero, L.
    Jackson, R.
    FOURTH SCIENCE MEETING WITH THE GTC, 2013, 42 : 130 - 130
  • [2] AF2, AN ASCARIS NEUROPEPTIDE - ISOLATION, SEQUENCE, AND BIOACTIVITY
    COWDEN, C
    STRETTON, AOW
    PEPTIDES, 1993, 14 (03) : 423 - 430
  • [3] FACTOR AF2 AS A COMPLEMENTARY CANCER THERAPY: AN OVERVIEW
    Philipp, T.
    Rossion, I.
    ANTICANCER RESEARCH, 2004, 24 (5D) : 3600 - 3600
  • [4] Thymus and other immune stimulants: Factor AF2, Biobran, Avemar [Thymus und andere Immunstimulanzien: Faktor AF2, Biobran®, Avemar®]
    Stoll C.
    Hübner J.
    Der Onkologe, 2009, 15 (10): : 1025 - 1030
  • [5] ECGI targeted ablation for persistent AF not responding to pulmonary vein isolation: Results of a two-staged strategy (TARGET AF2)
    Dhillon, Gurpreet
    Honarbakhsh, Shohreh
    Abbas, Hakam
    Waddingham, Peter
    Dennis, Adam S.
    Ahluwalia, Nikhil
    Finlay, Malcolm
    Sohaib, Afzal
    Welch, Sophie
    Daw, Holly
    Sporton, Simon
    Chow, Anthony
    Earley, Mark J.
    Lambiase, Pier D.
    Hunter, Ross J.
    HEART RHYTHM O2, 2023, 4 (10): : 609 - 617
  • [6] Completeness of the trigonometric system for the classes θ(L)
    Kolomoitsev, Yu. S.
    MATHEMATICAL NOTES, 2007, 81 (5-6) : 632 - 637
  • [7] Completeness of the trigonometric system for the classes ϕ(L)
    Yu. S. Kolomoitsev
    Mathematical Notes, 2007, 81 : 632 - 637
  • [8] Phase Equilibria in the СaMoO4–СaSO4–СaF2–СaCl2 System
    Ya. A. Dibirov
    E. G. Iskanderov
    S. I. Isakov
    Inorganic Materials, 2023, 59 : 494 - 499
  • [9] Phenotypic and genetic characterization of a novel strain of Acidithiobacillus ferrooxidans (AF2)
    Liu Qian
    Zhou Hong-bo
    Yang Bo
    Ao Jing-qun
    Chen Xin-hua
    JOURNAL OF CENTRAL SOUTH UNIVERSITY OF TECHNOLOGY, 2011, 18 (02): : 386 - 391
  • [10] Assessing AF2's ability to predict structural ensembles of proteins
    Riccabona, Jakob R.
    Spoendlin, Fabian C.
    Fischer, Anna-Lena M.
    Loeffler, Johannes R.
    Quoika, Patrick K.
    Jenkins, Timothy P.
    Ferguson, James A.
    Smorodina, Eva
    Laustsen, Andreas H.
    Greiff, Victor
    Forli, Stefano
    Ward, Andrew B.
    Deane, Charlotte M.
    Fernandez-Quintero, Monica L.
    STRUCTURE, 2024, 32 (11)
12345