A Parigot-style linear -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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.