Valeria de Paiva  Home/Search
Context
Related
| cs.bham.ac.uk/~vdp/publica...llc8.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bham.ac.uk/~vdp/publi...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes algebraic semantics for (intuitionistic and classical) (Update)
Active bibliography (related documents): More All
0.1: Introduction to Linear Bicategories - Cockett, al. (1999) (Correct)
0.1: Relating Categorical Semantics for Intuitionistic.. - Maietti, Maneggia, de.. (Correct)
0.1: Coherence Of The Double Involution On - Autonomous Categories Cockett (Correct)
Similar documents based on text: More All
0.4: Categorical and Kripke Semantics for Constructive S4.. - Alechina, Mendler, de .. (2001) (Correct)
0.2: Entailment, Intensionality and Text Understanding - Cleo Condoravdi Dick (Correct)
0.2: An Approach to Algebraic Semantics of Object-Oriented Languages - Fronk (2002) (Correct)
BibTeX entry: (Update)
@misc{ paiva-lineales,
author = "Valeria de Paiva",
title = "Lineales: Algebraic Models of Linear Logic from a Categorical Perspective",
url = "citeseer.ist.psu.edu/251056.html" }
Citations (may not include all citations):242 Linear logic (context) - Girard - 1987
233 Computational interpretations of linear logic - Abramsky - 1993 ACM DBLP
77 Dual intuitionistic linear logic (context) - Barber, Plotkin - 1997
73 Lectures in Linear Logic (context) - Troelstra - 1992
60 A term calculus for intuitionistic linear logic - Benton, Bierman et al. - 1993 ACM DBLP
58 A mixed linear and non-linear logic: Proofs (context) - Benton - 1995
51 Operational aspects of linear lambda calculus - Lincoln, Mitchell - 1992 DBLP
46 On Intuitionistic Linear Logic (context) - Bierman - 1994
28 Natural deduction for intuitionistic linear logic - Troelstra - 1995 DBLP
25 Full intuitionistic linear logic (context) - Hyland, de Paiva - 1993
19 The undecidability of second order linear logic without expo.. - Lafont - 1996 DBLP
15 The linear abstract machine (context) - Lafont - 1988 ACM DBLP
7 Linear logic (context) - Seely - 1989 ACM DBLP
1 Quantales and their applications (context) - Rosenthal - 1990
1 An introduction to higher order categorical logic (context) - Categorical, Lambek et al. - 1986
1 Linear logic: its syntax and semantics (context) - Philosophical, volume et al. - 1995
1 Relating kripke and categorical semantics of intuitionistic .. (context) - Alechina, Ritter - 2000
Documents on the same site (http://www.cs.bham.ac.uk/~vdp/publications/papers.html): More
On Explicit Substitutions and Names - Ritter, de Paiva (1997) (Correct)
A Dialectica Model of State - Correa, Hauesler, de Paiva (1996) (Correct)
Relating Categorical and Kripke Semantics for.. - Alechina, de Paiva.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC