Marcelo da Silva Correa, Edward Hermann Haeusler, Valeria Correa Vaz de Paiva  Home/Search
Context Related
| inf.pucrio.br/pub...95_21_correa.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: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : Reddy [13] introduced an extended intuitionistic linear calculus to model some features of state-manipulation. His calculus LLMS -- for Linear Logic Model of State -- includes the connective "before" and an its associated modality y. De Paiva [5] presents a (collection of) dialectica categorical models for Classical Linear Logic, the categories GC. These categories contain an extra tensor product functor fi and a comonad structure corresponding to a modality related to it. It is surprising... (Update)
Context of citations to this paper: More
...and as such are directly applicable as a semantic model for LLMS. This connection has already been partially explored in [da S. Correa et al. 1996] for a variant of Reddy s system called LLMS c , with the new tensor relaxed to be commutative, motivated by considering it as...
Cited by: More
Categorical Modeling of a State Oriented Version of Linear Logic - Tucker (Correct)
Similar documents (at the sentence level):
25.7%: A Dialectica Model of State - Correa, Hauesler, de Paiva (1996) (Correct)
Active bibliography (related documents): More All
0.1: Imperative Lambda Calculus Revisited - Yang, Reddy (1997) (Correct)
0.1: Games and Full Completeness for Multiplicative Linear Logic - Abramsky, Jagadeesan (1992) (Correct)
0.1: Applications of Linear Logic to Computation: An Overview - Alexiev (1993) (Correct)
Similar documents based on text: More All
0.4: A Concrete Categorical Model for the Lambek Calculus - Correa, Haeusler (1995) (Correct)
0.4: Cut-Elimination for Full Intuitionistic Linear Logic - Braüner, de Paiva (1996) (Correct)
0.3: A Formulation of Linear Logic Based on Dependency-Relations - Braüner, de Paiva (1997) (Correct)
Related documents from co-citation: More All
2: A linear logic model of state (context) - Reddy - 1993
BibTeX entry: (Update)
Marcelo da S. Correa, Edward H. Haeusler, and Valeria C.V. de Paiva. A dialectica model of state. In Proceedings of Computing: The Australasian Theory Symposium (CATS'96), January 1996. http://citeseer.ist.psu.edu/dasilvacorrea96dialectica.html More
@inproceedings{ corrdialectica,
author = "Marcello da S. Corr{\^e}a and Edward H. Haeusler and Valeria C. V. de Paiva",
title = "A Dialectica Model of State",
pages = "29--37",
url = "citeseer.ist.psu.edu/dasilvacorrea96dialectica.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
291 Theoretical Computer Science (context) - Lafont, abstract - 1988
184 Linear types can change the world - Wadler - 1990
73 Is there a use for linear logic (context) - Wadler - 1991
68 Towards a geometry of interaction (context) - Girard - 1987
29 Syntactic control of interference revisited - O'Hearn, Power et al. - 1995
22 Distributive laws (context) - Beck - 1969
15 Linear logic and interference control (context) - O'Hearn - 1991
14 A dialectica-like model of linear logic (context) - de Paiva - 1989
13 Passivity and independence (context) - Reddy - 1994
8 A linear logic model of state (context) - Reddy - 1993
7 Dialectica categories (context) - de Paiva - 1987
2 Technical Report PUC-Rio (context) - da, Correa et al. - 1995
2 University of Cambridge Computer Laboratory (context) - de Paiva, of et al. - 1991
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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