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 条
  • [1] Some aspects of the categorical semantics for the polymorphic lambda-calculus
    Maietti, ME
    [J]. LOGIC AND ALGEBRA, 1996, 180 : 589 - 601
  • [2] THE SEMANTICS OF 2ND ORDER POLYMORPHIC LAMBDA-CALCULUS
    BRUCE, KB
    MEYER, AR
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 131 - 144
  • [3] CATEGORICAL ABSTRACT MACHINES FOR HIGHER-ORDER TYPED LAMBDA-CALCULI
    RITTER, E
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 136 (01) : 125 - 162
  • [4] Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
    Aguirre, Alejandro
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Katsumata, Shin-ya
    Sato, Tetsuya
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5
  • [5] A fully abstract denotational semantics for the calculus of higher-order communicating systems
    Thomsen, B
    Abramsky, S
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 254 (1-2) : 557 - 589
  • [6] Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory
    Maruyama, Yoshihiro
    [J]. IEEE CIS INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS 2021 (FUZZ-IEEE), 2021,
  • [7] System Fi A Higher-Order Polymorphic λ-Calculus with Erasable Term-Indices
    Ahn, Ki Yung
    Sheard, Tim
    Fiore, Marcelo
    Pitts, Andrew M.
    [J]. TYPED LAMBDA CALCULI AND APPLICATIONS, TLCA 2013, 2013, 7941 : 15 - 30
  • [8] Reversibility in the higher-order π-calculus
    Lanese, Ivan
    Mezzina, Claudio Antares
    Stefani, Jean-Bernard
    [J]. THEORETICAL COMPUTER SCIENCE, 2016, 625 : 25 - 84
  • [9] A Reflective Higher-order Calculus
    Meredith, L. G.
    Radestock, Matthias
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (05) : 49 - 67
  • [10] Higher-order semantics and extensionality
    Benzmüller, C
    Brown, CE
    Kohlhase, M
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (04) : 1027 - 1088
12345