Thomas Ehrhard  Home/Search
Context
Related
| iml.univmrs.fr/pub/ehrh...finite.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: We investigate a new denotational model of linear logic based on the purely relational model. In this semantics, webs are equipped with a notion of "finitary" subsets, satisfying a closure condition with respect to an orthogonality relation between subsets of the web, and proofs are interpreted by finitary sets. This model seems quite different in spirit from the usual models of linear logic (coherence semantics, hypercoherence semantics, the various existing game semantics : : : ); in... (Update)
Active bibliography (related documents): More All
0.6: On Köthe sequence spaces and linear logic - Ehrhard (2001) (Correct)
0.5: The Anatomy of Innocence - Danos, Harmer (2001) (Correct)
0.2: Categorical Models Of Linear Logic Revisited - Mellies (2002) (Correct)
Similar documents based on text: More All
0.8: Parallel and Serial Hypercoherences - Ehrhard (1995) (Correct)
0.7: Anatomy of an Extensional Collapse - Barreiro, Ehrhard (1997) (Correct)
0.6: Note Coherence spaces are untopological - Bethke (1999) (Correct)
BibTeX entry: (Update)
@misc{ ehrhard-finiteness,
author = "Thomas Ehrhard",
title = "Finiteness Spaces",
url = "citeseer.ist.psu.edu/ehrhard01finiteness.html" }
Citations (may not include all citations):215 Theoretical Computer Science (context) - Girard, variable et al. - 1986 ACM
66 What is a categorical model of intuitionistic linear logic - Bierman - 1995
47 volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
8 Probabilistic game semantics - Danos, Harmer - 2000 ACM DBLP
5 On phase semantics and denotational semantics: the exponenti.. (context) - Bucciarelli, Ehrhard - 1999 DBLP
4 Quantitative semantics revisited (context) - Barreiro, Ehrhard - 1999 ACM DBLP
2 On Kothe sequence spaces and linear logic (context) - Ehrhard - 2000
1 On phase semantics and denotational semantics: the second or.. (context) - Bac - 2000
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