Linear Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Cambridge University Press

9780521608572, 9780511550850
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Axiomatic Approach to Structural Rules for Locative Linear Logic

2004 ◽  
pp. 191-235
Author(s):  
Jean-Marc Andreoli
Keyword(s):  
Linear Logic ◽  
Axiomatic Approach ◽  
Structural Rules

Proof Nets and the λ-Calculus

2004 ◽  
pp. 65-118 ◽  
Author(s):  
Stefano Guerrini
Keyword(s):  
Proof Nets

scholarly journals Linearity and Nonlinearity in Distributed Computation

2004 ◽  
pp. 151-188 ◽  
Author(s):  
Glynn Winskel
Keyword(s):  
Distributed Computation

Slicing Polarized Additive Normalization

2004 ◽  
pp. 247-282 ◽  
Author(s):  
Olivier Laurent ◽  
Lorenzo Tortora de Falco

scholarly journals Category Theory for Linear Logicians

2004 ◽  
pp. 3-64 ◽  
Author(s):  
Richard Blute ◽  
Philip Scott
Keyword(s):  
Category Theory

An Introduction to Uniformity in Ludics

2004 ◽  
pp. 236-246
Author(s):  
Claudia Faggian ◽  
Marie-Renée Fleury-Donnadieu ◽  
Myriam Quatrini

An Overview of Linear Logic Programming

2004 ◽  
pp. 119-150 ◽  
Author(s):  
Dale Miller
Keyword(s):  
Logic Programming ◽  
Linear Logic

Between Logic and Quantic: a Tract

2004 ◽  
pp. 346-381 ◽  
Author(s):  
Jean-Yves Girard

Bicategories in Algebra and Linguistics

2004 ◽  
pp. 325-345 ◽  
Author(s):  
Jim Lambek
Keyword(s):  
And Linguistics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document