SEQUENT CALCULUS FOR TYPE ASSIGNMENTS

被引：0
|
作者：
SELDIN, JP [1 ]
机构：
[1] SO ILLINOIS UNIV,CARBONDALE,IL 62901
来源：
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1973年 / 20卷 / 05期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：A502 / A502
页数：1
相关论文
共 50 条
  • [1] SEQUENT CALCULUS FOR TYPE ASSIGNMENT
    SELDIN, JP
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 11 - 28
  • [2] A sequent calculus for type theory
    Lengrand, Stephane
    Dyckhoff, Roy
    McKinna, James
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 441 - 455
  • [3] A Sequent Calculus for Opetopes
    Cedric Ho Thanh
    Curien, Pierre-Louis
    Mimram, Samuel
    2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
  • [4] Consequences of the Sequent Calculus
    Braselmann, Patrick
    Koepke, Peter
    FORMALIZED MATHEMATICS, 2005, 13 (01): : 41 - 44
  • [5] A sequent calculus for circumscription
    Bonatti, PA
    Olivetti, N
    COMPUTER SCIENCE LOGIC, 1998, 1414 : 98 - 114
  • [6] SEQUENT CALCULUS FORMULATION OF TYPE ASSIGNMENT WITH EQUALITY RULES FOR THE LAMBDA-BETA-CALCULUS
    SELDIN, JP
    JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (04) : 643 - 649
  • [7] A Sequent Calculus for Urn Logic
    French, Rohan
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2015, 24 (02) : 131 - 147
  • [8] A Sequent Calculus for Urn Logic
    Rohan French
    Journal of Logic, Language and Information, 2015, 24 : 131 - 147
  • [9] A SEQUENT CALCULUS FOR RELATION ALGEBRAS
    MADDUX, R
    ANNALS OF PURE AND APPLIED LOGIC, 1983, 25 (01) : 73 - 101
  • [10] PTL sequent calculus system
    贲可荣
    陈火旺
    王兵山
    Science China Mathematics, 1995, (05) : 598 - 607
12345