CATEGORICAL SEMANTICS FOR HIGHER-ORDER POLYMORPHIC-LAMBDA CALCULUS

被引：44
|
作者：
SEELY, RAG
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 04期
关键词：
D O I：
10.2307/2273831
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：969 / 989
页数：21
相关论文
共 50 条
  • [41] Higher-order matching in the linear λ-calculus with pairing
    de Groote, P
    Salvati, S
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 220 - 234
  • [42] On Bisimulation Theory in Linear Higher-Order π-Calculus
    Xu, Xian
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 244 - 274
  • [43] A Higher-Order Graph Calculus for Autonomic Computing
    Andrei, Oana
    Kirchner, Helene
    [J]. GRAPH THEORY, COMPUTATIONAL INTELLIGENCE AND THOUGHT: ESSAYS DEDICATED TO MARTIN CHARLES GOLUMBIC ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5420 : 15 - +
  • [44] A complete fragment of higher-order duration μ-calculus
    Guelev, DP
    [J]. FST TCS 2000: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2000, 1974 : 264 - 276
  • [45] On the complexity of higher-order matching in the linear λ-calculus
    Salvati, S
    de Groote, P
    [J]. REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2003, 2706 : 234 - 245
  • [46] Higher-Order Calculus of Variations on Time Scales
    Ferreira, Rui A. C.
    Torres, Delfim F. M.
    [J]. MATHEMATICAL CONTROL THEORY AND FINANCE, 2008, : 149 - 159
  • [47] AN ALGEBRAIC SEMANTICS OF HIGHER-ORDER TYPES WITH SUBTYPES
    QIAN, ZY
    [J]. ACTA INFORMATICA, 1993, 30 (06) : 569 - 607
  • [48] A higher-order duration calculus and its completeness
    詹乃军
    [J]. Science China Technological Sciences, 2000, (06) : 625 - 640
  • [49] A Focused Sequent Calculus for Higher-Order Logic
    Lindblad, Fredrik
    [J]. AUTOMATED REASONING, IJCAR 2014, 2014, 8562 : 61 - 75
  • [50] Towards a Higher-Order Mathematical Operational Semantics
    Goncharov, Sergey
    Milius, Stefan
    Schroeder, Lutz
    Tsampas, Stelios
    Urbat, Henning
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 632 - 658
12345