PROPOSAL FOR A NATURAL FORMALIZATION OF FUNCTIONAL PROGRAMMING CONCEPTS

被引：0
|
作者：
BELLOT, P [1 ]
SARNI, D [1 ]
机构：
[1] UNIV SCI & TECH ALGER,BAR EL BEIDA,ALGERIA
来源：
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 1988年 / 22卷 / 03期
关键词：
D O I：
10.1051/ita/1988220303411
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：341 / 360
页数：20
相关论文
共 50 条
  • [1] Natural number concepts: No derivation without formalization
    Pietroski, Paul
    Lidz, Jeffrey
    [J]. BEHAVIORAL AND BRAIN SCIENCES, 2008, 31 (06) : 666 - +
  • [2] FORMALIZATION CONCEPTS AND EXPLORATION CONCEPTS
    DELATTRE, P
    [J]. SCIENTIA, 1974, 109 (5-8): : 427 - 481
  • [3] Unified formalization of "natural" classification, "natural" concepts, and consciousness as integrated information by Giulio Tononi
    Vityaev, Evgenii
    [J]. 6TH ANNUAL INTERNATIONAL CONFERENCE ON BIOLOGICALLY INSPIRED COGNITIVE ARCHITECTURES (BICA 2015), 2015, 71 : 169 - 177
  • [4] FORMALIZATION IN PROGRAMMING ENVIRONMENTS
    GOGUEN, J
    MORICONI, M
    [J]. COMPUTER, 1987, 20 (11) : 55 - 64
  • [5] Formalization and 'literate' programming
    Anderson, H
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 39 - 44
  • [6] Proposal for the Formalization of Dialectical Logic
    Luis Uso-Domenech, Jose
    Antonio Nescolarde-Selva, Josue
    Segura-Abad, Lorena
    [J]. MATHEMATICS, 2016, 4 (04)
  • [7] FORMALIZATION OF PROTOCOL ENGINEERING CONCEPTS
    KING, PW
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (04) : 387 - 403
  • [8] FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY
    Baldwin, John T.
    [J]. REVIEW OF SYMBOLIC LOGIC, 2013, 6 (01): : 87 - 128
  • [9] ASSAY FOR FORMALIZATION OF CYBERNETIC CONCEPTS
    VANEGTEN, RJ
    [J]. CYBERNETICA, 1971, 14 (03): : 251 - &
  • [10] A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
    Estevez-Martin, S.
    Fernandez, A. J.
    Hortala-Gonzalez, T.
    Rodriguez-Artalejo, M.
    Saenz-Perez, F.
    del Vado-Virseda, R.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 188 : 37 - 51
12345