# A Parigot-style linear $\lambda $-calculus for full intuitionistic linear logic.

de Paiva, Valeria; Ritter, Eike

Theory and Applications of Categories [electronic only] (2006)

- Volume: 17, page 30-48
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topde Paiva, Valeria, and Ritter, Eike. "A Parigot-style linear -calculus for full intuitionistic linear logic.." Theory and Applications of Categories [electronic only] 17 (2006): 30-48. <http://eudml.org/doc/127560>.

@article{dePaiva2006,

author = {de Paiva, Valeria, Ritter, Eike},

journal = {Theory and Applications of Categories [electronic only]},

keywords = {linear logic; lambda-mu calculus; Curry-Howard isomorphism; natural deduction},

language = {eng},

pages = {30-48},

publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},

title = {A Parigot-style linear -calculus for full intuitionistic linear logic.},

url = {http://eudml.org/doc/127560},

volume = {17},

year = {2006},

}

TY - JOUR

AU - de Paiva, Valeria

AU - Ritter, Eike

TI - A Parigot-style linear -calculus for full intuitionistic linear logic.

JO - Theory and Applications of Categories [electronic only]

PY - 2006

PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville

VL - 17

SP - 30

EP - 48

LA - eng

KW - linear logic; lambda-mu calculus; Curry-Howard isomorphism; natural deduction

UR - http://eudml.org/doc/127560

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.