Proof nets and coherence theorems

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0013461 ◽

2005 ◽

pp. 121-137 ◽

Cited By ~ 1

Author(s):

Richard Blute

Keyword(s):

Proof Nets

Download Full-text

Efficacy and side effects of the insect proof nets against spotted-wing drosophila,Drosophila suzukii, on cherry and soft fruits in Italy

10.1603/ice.2016.111445 ◽

2016 ◽

Author(s):

Nicola Mori

Keyword(s):

Side Effects ◽

Spotted Wing Drosophila ◽

Drosophila Suzukii ◽

Proof Nets ◽

Soft Fruits

Download Full-text

Proof nets and semi-star-autonomous categories

Mathematical Structures in Computer Science ◽

10.1017/s0960129514000395 ◽

2014 ◽

Vol 26 (5) ◽

pp. 789-828 ◽

Cited By ~ 1

Author(s):

WILLEM HEIJLTJES ◽

LUTZ STRAßBURGER

Keyword(s):

Linear Logic ◽

Proof Nets

In this paper, it is proved that Girard's proof nets for multiplicative linear logic characterize free semi-star-autonomous categories.

Download Full-text

An exact correspondence between a typed pi-calculus and polarised proof-nets

Theoretical Computer Science ◽

10.1016/j.tcs.2010.01.028 ◽

2010 ◽

Vol 411 (22-24) ◽

pp. 2223-2238 ◽

Cited By ~ 24

Author(s):

Kohei Honda ◽

Olivier Laurent

Keyword(s):

Pi Calculus ◽

Proof Nets

Download Full-text

Modularity of proof-nets

Archive for Mathematical Logic ◽

10.1007/s00153-004-0242-2 ◽

2004 ◽

Vol 44 (2) ◽

pp. 167-193 ◽

Cited By ~ 2

Author(s):

Roberto Maieli ◽

Quintijn Puite

Keyword(s):

Proof Nets

Download Full-text

Generation as deduction on labelled proof nets

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052164 ◽

1997 ◽

pp. 310-328 ◽

Cited By ~ 2

Author(s):

Josep M. Merenciano ◽

Glyn Morrill

Keyword(s):

Proof Nets

Download Full-text

Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.18 ◽

2015 ◽

Cited By ~ 3

Author(s):

Willem Heijltjes ◽

Dominic J.D. Hughes

Keyword(s):

Petri Nets ◽

Complexity Bounds ◽

Product Logic ◽

Proof Nets

Download Full-text

Polarized Proof Nets with Cycles and Fixpoints Semantics

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/3-540-44904-3_18 ◽

2003 ◽

pp. 256-270 ◽

Cited By ~ 4

Author(s):

Raphaël Montelatici

Keyword(s):

Proof Nets

Download Full-text

Generalized Proof-Nets for Compact Categories with Biproducts

Semantic Techniques in Quantum Computation ◽

10.1017/cbo9781139193313.004 ◽

2014 ◽

pp. 70-134 ◽

Cited By ~ 1

Author(s):

Ross Duncan

Keyword(s):

Proof Nets

Download Full-text

Proof Nets and the λ-Calculus

Linear Logic in Computer Science ◽

10.1017/cbo9780511550850.003 ◽

2004 ◽

pp. 65-118 ◽

Cited By ~ 3

Author(s):

Stefano Guerrini

Keyword(s):

Proof Nets

Download Full-text

Xpnet: A graphical interface to proof nets with an efficient proof checker

Automated Deduction—CADE-11 - Lecture Notes in Computer Science ◽

10.1007/3-540-55602-8_209 ◽

1992 ◽

pp. 711-715

Author(s):

Jawahar Chirimar ◽

Carl A. Gunter ◽

Myra VanInwegen

Keyword(s):

Graphical Interface ◽

Proof Checker ◽

Proof Nets

Download Full-text