Thomas Ehrhard  Home/Search
Context Related
| iml.univmrs.fr/pub/ehrh...cphase.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: iml.univmrs.fr/~ehrhard/pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a previous work with Antonio Bucciarelli, we introduced indexed linear logic as a tool for studying and enlarging the denotational semantics of linear logic. In particular, we showed how to de ne new denotational models of linear logic using symmetric product phase models (truthvalue models) of indexed linear logic. We present here a sequent calculus of indexed linear logic which strictly extends the system LL(I) presented in [BE99] and for which the symmetric product phase spaces provide a... (Update)
Cited by: More
On Phase Semantics and Denotational Semantics: The Second-Order - Bruasse-Bac (2002) (Correct)
Active bibliography (related documents): More All
0.5: Quantitative semantics revisited (Extended Abstract) - Barreiro, Ehrhard (Correct)
0.2: Finiteness Spaces - Ehrhard (2001) (Correct)
0.2: On Köthe sequence spaces and linear logic - Ehrhard (2001) (Correct)
Similar documents based on text: More All
0.5: Hypercoherences: A Strongly Stable Model of Linear Logic - Ehrhard (1993) (Correct)
0.3: The Differential Lambda-Calculus - Ehrhard, Regnier (2003) (Correct)
0.2: Sequentiality in an Extensional Framework - Bucciarelli, Ehrhard (1993) (Correct)
BibTeX entry: (Update)
T. Ehrhard. A completeness theorem for symmetric product phase spaces. Submitted, 2000. Available at ftp://iml.univ-mrs.fr/pub/ehrhard/cphase.ps.gz. http://citeseer.ist.psu.edu/ehrhard00completeness.html More
@misc{ ehrhard00completeness,
author = "T. Ehrhard",
title = "A completeness theorem for symmetric product phase spaces",
text = "T. Ehrhard. A completeness theorem for symmetric product phase spaces.
Submitted, 2000. Available at ftp://iml.univ-mrs.fr/pub/ehrhard/cphase.ps.gz.",
year = "2000",
url = "citeseer.ist.psu.edu/ehrhard00completeness.html" }
Citations (may not include all citations):215 Theoretical Computer Science (context) - Girard - 1987 ACM
66 What is a categorical model of intuitionistic linear logic - Bierman - 1995
17 Linear logic: its syntax and semantics (context) - Girard - 1995
13 volume 46 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Amadio, Curien et al. - 1998
9 Girard's phase semantics and a higher order cut elimination .. (context) - Okada - 1994
5 On phase semantics and denotational semantics: the exponenti.. (context) - Bucciarelli, Ehrhard - 1999 DBLP
2 To appear in Theoretical Computer Science (context) - Girard, completeness - 1999
2 On phase semantics and denotational semantics in multiplicat.. (context) - Bucciarelli, Ehrhard - 2000 DBLP
1 Electronic Notes in Theoretical Computer Science (context) - cois, coherent et al. - 1995
Documents on the same site (http://iml.univ-mrs.fr/~ehrhard/pub.html): More
On Köthe sequence spaces and linear logic - Ehrhard (2001) (Correct)
Hypercoherences: A Strongly Stable Model of Linear Logic - Ehrhard (1993) (Correct)
Sequentiality in an Extensional Framework - Bucciarelli, Ehrhard (1993) (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