Pierre-Louis Curien, Gordon Plotkin, Glynn Winskel  Home/Search
Context
Related
| brics.dk/RS/97/Ref...ICSRS9715.ps.gz homepages.inf.ed.ac.uk/g...Bi_Bi_Lin.ps 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: brics.dk/RS/97/Ref/BRICSRS97... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of causal dependency is replaced by two orders, one associated with input and the other with output in the behaviour of functions. Bistructures form a categorical model of Girard's classical linear logic in which the involution of linear logic is modelled, roughly speaking, by a reversal of the roles of input and... (Update)
Similar documents (at the sentence level):
64.7%: Bistructures, Bidomains and Linear Logic - Curien, Plotkin, Winskel (Correct)
Active bibliography (related documents): More All
0.6: Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996) (Correct)
0.3: Stable Bistructure Models of PCF - Winskel (1994) (Correct)
0.3: Realizability Models for Sequential Computation - Longley (1998) (Correct)
Similar documents based on text: More All
1.2: Language, Semantics and Methods for Cryptographic Protocols - Crazzolara, Winskel (2000) (Correct)
1.2: A Simple Take on Typed Abstract Syntax in Haskell-like Languages - Danvy, Rhiger (2000) (Correct)
1.2: A Unifying Approach to Goal-Directed Evaluation - Danvy, Grobauer, Rhiger (2001) (Correct)
BibTeX entry: (Update)
@misc{ curien-bistructures,
author = "Pierre-Louis Curien and Gordon Plotkin and Glynn Winskel",
title = "Bistructures, Bidomains and Linear Logic",
url = "citeseer.ist.psu.edu/article/curien97bistructures.html" }
Citations (may not include all citations):268 Proofs and types (context) - Girard, Taylor - 1989
194 The formal semantics of programming languages (context) - Winskel - 1993
139 An introduction to event structures (context) - Winskel - 1989
125 Event structures (context) - Winskel
68 On full abstraction for PCF (context) - Hyland, Ong - 1994
66 What is a categorical model of intuitionistic linear logic - Bierman - 1995
66 Fully Abstract Models of Typed -calculi (context) - Milner - 1977
51 autonomous categories and cofree coalgebras (context) - Seely, Linear - 1989
44 event structures and domains (context) - Nielsen, Plotkin et al. - 1981
30 Hypercoherences: a strongly stable model of linear logic - Ehrhard - 1993
26 University of Edinburgh (context) - Winskel, Events - 1980
23 and functional programming (context) - Curien - 1993
23 eles compl`etement ad (context) - Berry - 1979
21 games and linear logic (context) - Lamarche - 1992
20 Full abstraction and the context lemma - Jim, Meyer - 1991
15 Logic of domains (context) - Zhang
12 Finitary PCF is not decidable - Loader - 1996
11 the symmetry of sequentiality (context) - Curien - 1994
10 Kripke logical relations and PCF - O'Hearn, Riecke - 1995
7 Concrete Domains - Kahn, Plotkin - 1993
5 The full abstraction problem: state of the art (context) - Berry, Curien et al. - 1985
4 Generalizing coherence spaces and hypercoherences (context) - Lamarche
4 A relative PCF-definability result for strongly stable funct.. (context) - Ehrhard - 1996
4 A large cartesian closed category of domains (context) - Lamarche
3 Stable bistructure models of PCF - Winskel
2 unpublished manuscript (context) - Curien
2 handwritten notes (context) - Winskel - 1994
2 Factorization systems on domains (context) - Kegelmann - 1996
2 bidomains and linear logic (context) - Plotkin, Winskel - 1994
http://www.dcs.ed.ac.uk
Documents on the same site (http://www.brics.dk/RS/97/Ref/BRICS-RS-97-Ref/): More
Transforming Recursive Equations into Programs with Block.. - Danvy, Schultz (1997) (Correct)
CoFI: The Common Framework Initiative for Algebraic Specification .. - Mosses (1997) (Correct)
Syntax and Semantics of the logic ... - Butz (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