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 条
  • [21] On a Higher-Order Calculus of Computational Fields
    Audrito, Giorgio
    Viroli, Mirko
    Damiani, Ferruccio
    Pianini, Danilo
    Beal, Jacob
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2019), 2019, 11535 : 289 - 292
  • [22] Semantic values in higher-order semantics
    Stephan Krämer
    [J]. Philosophical Studies, 2014, 168 : 709 - 724
  • [23] Semantics of Higher-Order Recursion Schemes
    Adamek, Jiri
    Milius, Stefan
    Velebil, Jiri
    [J]. ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5728 : 49 - +
  • [24] Game semantics for higher-order concurrency
    Laird, J.
    [J]. FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, Proceedings, 2006, 4337 : 417 - 428
  • [25] Semantic values in higher-order semantics
    Kraemer, Stephan
    [J]. PHILOSOPHICAL STUDIES, 2014, 168 (03) : 709 - 724
  • [26] The M-calculus: A higher-order distributed process calculus
    Schmitt, A
    Stefani, JB
    [J]. ACM SIGPLAN NOTICES, 2003, 38 (01) : 50 - 61
  • [27] From higher-order π-calculus to π-calculus in the presence of static operators
    Vivas, JL
    Dam, M
    [J]. CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 115 - 130
  • [28] Polymorphic lambda calculus and subtyping
    Fiech, A
    Schmidt, DA
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 278 (1-2) : 111 - 140
  • [29] Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems
    Xu, Xian
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 24 (01): : 122 - 137
  • [30] Semantics of the probabilistic Lambda Calculus
    Loreti, Michele
    [J]. FORMAL ASPECTS OF COMPUTING, 2021, 33 (03) : 457 - 458
12345