AN EQUATIONAL PRESENTATION OF HIGHER-ORDER LOGIC

被引：0
|
作者：
COQUAND, T [1 ]
EHRHARD, T [1 ]
机构：
[1] ECOLE NORMALE SUPER,F-75231 PARIS 05,FRANCE
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 283卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：40 / 56
页数：17
相关论文
共 50 条
  • [31] RESULTS IN HIGHER-ORDER MODAL LOGIC
    GALLIN, D
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 197 - 198
  • [32] Separation logic for higher-order store
    Reus, Bernhard
    Schwinghammer, Jan
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 575 - 590
  • [33] HIGHER-ORDER LOGIC LEARNING AND λPROGOL
    Pahlavi, Niels
    [J]. TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 281 - 285
  • [34] Refinement of higher-order logic programs
    Colvin, R
    Hayes, I
    Hemer, D
    Strooper, P
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 126 - 143
  • [35] Higher-Order Logic and Disquotational Truth
    Picollo, Lavinia
    Schindler, Thomas
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2022, 51 (04) : 879 - 918
  • [36] REMARKS ON HIGHER-ORDER MODAL LOGIC
    DACOSTA, NCA
    DEALCANTARA, LP
    [J]. ACTA CIENTIFICA VENEZOLANA, 1987, 38 (02): : 282 - 284
  • [37] Functional procedures in higher-order logic
    Laibinis, L
    von Wright, J
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 372 - 387
  • [38] Tabling for higher-order logic programming
    Pientka, B
    [J]. AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 54 - 68
  • [39] Higher-order transformation of logic programs
    Seres, S
    Spivey, M
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 57 - 68
  • [40] COMPACT FRAGMENT OF HIGHER-ORDER LOGIC
    MALITZ, J
    RUBIN, M
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 190 - 190
12345