Torben Braüner  Home/Search
Context
Related
| brics.dk/RS/94/27/...ICSRS9427.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: stanford.edu/~iliano/linear...llb (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Girard worked with the category of coherence spaces and continuous stable maps and observed that the functor that forgets the linearity of linear stable maps has a left adjoint. This fundamental observation gave rise to the discovery of Linear Logic. Since then, the category of coherence spaces and linear stable maps, with the comonad induced by the adjunction, has been considered a canonical model of Linear Logic. Now, the same phenomenon is present if we consider the category of pre dI... (Update)
Similar documents (at the sentence level):
11.6%: A General Adequacy Result for a Linear Functional Language - Braüner (1994) (Correct)
Active bibliography (related documents): More All
0.5: The Girard Translation Extended with Recursion - Braüner (1995) (Correct)
0.2: Axiomatic Domain Theory - Fiore (1995) (Correct)
0.2: Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996) (Correct)
Similar documents based on text: More All
1.0: A Homomorphism Concept for omega-Regularity - Klarlund (1994) (Correct)
0.9: An Action Semantics for ML Concurrency Primitives - Mosses, Musicante (1994) (Correct)
0.9: Stable Bistructure Models of PCF - Winskel (1994) (Correct)
BibTeX entry: (Update)
@misc{ ner-model,
author = "Torben Braüner",
title = "A Model of Intuitionistic Affine Logic from Stable Domain Theory",
url = "citeseer.ist.psu.edu/194436.html" }
Citations (may not include all citations):291 Computational lambda-calculus and monads - Moggi - 1989
125 Event structures (context) - Winskel - 1987
46 Term assignment for intuitionistic linear logic (context) - Benton, Bierman et al. - 1992
46 On Intuitionistic Linear Logic (context) - Bierman - 1994
41 Annals of Pure and Applied Logic (context) - Jacobs, weakening
21 A note on inconsistencies caused by fixpoints in a cartesian.. (context) - Huwig, Poigne - 1990
7 Basic category theory (context) - Poigne - 1992
6 The girard translation extended with recursion (context) - Brauner
4 A general adequacy result for a linear functional language (context) - Brauner
2 Categories for the Working Matematician (context) - Lane - 1971
Documents on the same site (http://theory.stanford.edu/~iliano/linearbib/llb.html): More
First Order Linear Logic without Modalities is NEXPTIME-Hard - Lincoln, Scedrov (1994) (Correct)
The Undecidability Of Second Order Linear Logic Without.. - Lafont (1995) (Correct)
The Finite Model Property For Various Fragments Of Linear Logic - Lafont (1997) (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