Proof-nets: The parallel syntax for proof-theory

被引：0

作者：

Girard, JY ^{[1
]}

机构：

[1] LAB MATH DISCRETES,UPR 9016 CNRS,F-13288 MARSEILLE 09,FRANCE

来源：

LOGIC AND ALGEBRA | 1996年 / 180卷

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：97 / 124

页数：4

共 50 条

[21] From proof-nets to bordisms: the geometric meaning of multiplicative connectives
Slavnov, S
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2005, 15 (06) : 1151 - 1178
[22] An introduction to differential linear logic: proof-nets, models and antiderivatives
Ehrhard, Thomas
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2018, 28 (07) : 995 - 1060
[23] Dynamic Syntax and Proof Theory
White, Graham
THEORETICAL LINGUISTICS, 2017, 43 (1-2) : 135 - 140
[24] ON THE PROOF-THEORY OF A FIRST-ORDER EXTENSION OF GL
Schwartz, Yehuda
Tourlakis, George
LOGIC AND LOGICAL PHILOSOPHY, 2014, 23 (03) : 329 - 363
[25] Research in automated deduction as a basis for a probabilistic proof-theory
Forcheri, P
Gentilini, P
Molfino, MT
LOGIC AND ALGEBRA, 1996, 180 : 491 - 527
[26] On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets
Perrinel, Matthieu
FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS, FOPARA 2013, 2014, 8552 : 127 - 142
[27] Semantics and proof-theory of depth bounded Boolean logics
D'Agostino, Marcello
Finger, Marcelo
Gabbay, Dov
THEORETICAL COMPUTER SCIENCE, 2013, 480 : 43 - 68
[28] From proof-nets to linear logic type systems for polynomial time computing
Baillot, Patrick
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 : 2 - 7
[29] Geometry of Interaction for MALL via Hughes-Van Glabbeek Proof-Nets
Hamano, Masahiro
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (04)
[30] DYNAMIC TYPING - SYNTAX AND PROOF THEORY
HENGLEIN, F
SCIENCE OF COMPUTER PROGRAMMING, 1994, 22 (03) : 197 - 230

← 1 2 3 4 5 →