Paul-Andre Mellies  Home/Search
Context
Related
| pps.jussieu.fr/~mellies/...double.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: pps.jussieu.fr/~mellies/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article, we attack the converse problem of explaining semantics as an e ect of syntax, by extracting the meaning of a program from its dynamics. Our analysis will be guided by the following thesis: \ The meaning of a module should reect the history of its symbolic interactions with the environment " (1) In this article, we deliver a simple methodology to extract the meaning of a module from its interactive behaviour. We explain in what sense this relates to tracing modules in the... (Update)
Similar documents based on text: More All
0.5: Axiomatic Rewriting Theory I - A Diagrammatic Standardization.. - Mellies (2001) (Correct)
0.5: On Double Categories and Multiplicative Linear Logic - Melliès (1999) (Correct)
0.5: Innocence in 2-Dimensional Games - Mellies (Correct)
BibTeX entry: (Update)
@misc{ mellies-double,
author = "Paul-Andre Mellies",
title = "Double Categories: a modular model of multiplicative linear logic",
url = "citeseer.ist.psu.edu/723469.html" }
Citations (may not include all citations):562 Categories for the working mathematician (context) - Lane - 1971
474 Term Rewriting Systems - Klop - 1992
359 Introduction to higher order categorical logic (context) - Lambek, Scott - 1986
242 Linear Logic (context) - Girard - 1992
66 What is a categorical model of Intuitionistic Linear Logic - Bierman - 1995
36 Call by Need Computations in Non-Ambiguous Linear Term Rewri.. (context) - Huet, evy - 1979
33 From proof-nets to interaction nets - Lafont - 1995
31 Concurrent games and full completeness - Abramsky, Melli - 1999
31 The structure of multiplicatives (context) - Danos, Regnier - 1989
29 Coherence for compact closed categories (context) - Kelly, Plaza - 1980
28 Foundations of equational deduction: A categorical treatment.. (context) - Rydeheard, Stell - 1987
24 Coherence in closed categories (context) - Kelly, Lane - 1971
21 An abstract formulation for rewrite systems (context) - Power - 1989
17 Modelling computations: a 2-categorical framework (context) - Seely - 1987
16 University of Edinburgh (context) - Ghani, PhD - 1995
[Article contains additional citations not shown here]
Documents on the same site (http://www.pps.jussieu.fr/~mellies/papers.html): More
Semantic Types: A Fresh Look at the Ideal Model for Types - Vouillon, Mellies, Diderot (2004) (Correct)
Asynchronous Games 2 - The true concurrency of innocence - Mellies (2004) (Correct)
Innocence in 2-Dimensional Games - Mellies (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