A Parigot-style Linear Lambda-calculus for Full Intuitionistic Linear Logic

Research output: Contribution to journal › Article

4 Citations (Scopus)

Original language	English
Pages (from-to)	30-48
Number of pages	19
Journal	Theory and Applications of Categories
Volume	17
Publication status	Published - 1 Jan 2006

Cite this

@article{3f86a6b6c0c34cd6acfb381a62a08d70,

title = "A Parigot-style Linear Lambda-calculus for Full Intuitionistic Linear Logic",

author = "{de Paiva}, V and Eike Ritter",

year = "2006",

month = jan,

day = "1",

language = "English",

volume = "17",

pages = "30--48",

journal = "Theory and Applications of Categories",

issn = "1201-561X",

publisher = "Mount Allison University",

}