Samson Abramsky Radha Jagadeesan Dept. of Computing Dept. of Mathematical...  Home/Search
Context Related
| depaul.edu/rjagade...fInteraction.ps.gz From: depaul.edu/rjagadeesan/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we present a new formal embodiment of Girard's programme, with the following salient features. 1. Our formalisation is based on elementary Domain Theory rather than C --algebras. It exposes precisely what structure is required of the ambient category in order to carry out the interpretation. Furthermore, we show how the interpretation arises from the construction of a categorical model of Linear Logic; this provides the basis for a rational reconstruction which makes the structure ... (Update)
Cited by: More
Causality and True Concurrency: A Data-flow - Analysis Of The (Correct)
Categorical Models Of First-Order Classical Proofs - McKinley (2006) (Correct)
Categorical Models Of Linear Logic Revisited - Mellies (2002) (Correct)
Similar documents (at the sentence level):
77.7%: New Foundations for the Geometry of Interaction - Abramsky, Jagadeesan (1993) (Correct)
Active bibliography (related documents): More All
0.4: Games and Full Completeness for Multiplicative Linear Logic - Samson Abramsky And (1994) (Correct)
0.2: Causality and True Concurrency: A Data-flow Analysis of.. - Jagadeesan, Jagadeesan (1995) (Correct)
0.1: On the pi-Calculus and Linear Logic - Bellin, Scott (1994) (Correct)
Similar documents based on text:
93.0: Unknown - (Correct)
Related documents from co-citation: More All
39: Theoretical Computer Science (context) - Girard - 1987
23: Geometry of interaction 1: Interpretation of System F (context) - Girard - 1989
19: Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
BibTeX entry: (Update)
Abramsky, S., and Jagadeesan, R. 1993 New foundations for the geometry of interaction. Information and Computation, 111(1):53--119, May 1993. http://citeseer.ist.psu.edu/abramsky93new.html More
@inproceedings{ abramsky92new,
author = "Samson Abramsky and Radha Jagadeesan",
title = "New Foundations for the Geometry of Interaction",
booktitle = "Proceedings 7th Annual {IEEE} Symp.\ on Logic in Computer Science, {LICS}'92, Santa Cruz, {CA}, {USA}, 22--25 June 1992",
publisher = "IEEE",
address = "1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA",
pages = "211--222",
year = "1992",
url = "citeseer.ist.psu.edu/abramsky93new.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
369 Information and Computation (context) - Moggi, computation - 1991
302 The semantics of a simple language for parallel programming (context) - Kahn - 1977
194 Functions as processes (context) - Milner - 1990
162 Data types as lattices (context) - Scott - 1976
137 Laboratory for Foundations of Computer Science (context) - Milner, Parrow et al. - 1989
137 Laboratory for Foundations of Computer Science (context) - Milner, -calculus et al. - 1991
112 Initial algebra semantics and continuous algebras (context) - Goguen, Thatcher et al. - 1977
75 Annals of Pure and Applied Logic (context) - Abramsky, in - 1991
69 Geometry of interaction 1: Interpretation of System F (context) - Girard - 1989
68 Towards a geometry of interaction (context) - Girard - 1989
65 Universal Algebra (context) - Cohn - 1981
51 autonomous categories and cofree coalgebras (context) - Seely - 1989
30 Relating theories of lambda calculus (context) - Scott - 1980
20 The lazy -calculus (context) - Abramsky - 1990
18 Types in lambda calculi and programming languages (context) - Barendregt, Hemerik - 1990
18 volume 39 of North-Holland Mathematical Library (context) - Freyd, Scedrov et al. - 1991
17 Proofs as processes (context) - Abramsky - 1991
15 Technical Report (context) - Kahn, Plotkin - 1978
14 volume 99 of Lecture Notes in Computer Science (context) - Guessarian - 1981
11 Geometry of interaction 2: Deadlock-free algorithms (context) - Girard - 1988
10 Rendiconti del seminario matematico dell' universit`a e poli.. (context) - Girard - 1988
9 A dataflow architecture with tagged tokens (context) - Arvind, Kathail - 1980
8 Categories of partial morphisms and the p -calculus (context) - Moggi - 1986
6 First version of a data flow procedural language (context) - Dennis - 1974
6 To appear (context) - Abramsky, of et al. - 1990
6 Bulletin of the Australian Mathematical Society (context) - Walters, distributive - 1989
5 Coroutines and networks of parallel proceses (context) - Kahn, MacQueen - 1977
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fpl.cs.depaul.edu/rjagadeesan/pubs.html): More
On The Expressiveness of 3-Valued Models - Godefroid, Jagadeesan (2003) (Correct)
Metrics for Labeled Markov Systems - Desharnais, Jagadeesan, Gupta, al. (1999) (Correct)
Probabilistic Concurrent Constraint Programming - Gupta, Jagadeesan, Saraswat (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