On Double Categories and Multiplicative Linear Logic (1999)
by
Paul-André Melliès
,
Preuves Programmes Systemes
| Citations: | 1 - 0 self |
BibTeX
@MISC{Melliès99ondouble,
author = {Paul-André Melliès and Preuves Programmes Systemes},
title = {On Double Categories and Multiplicative Linear Logic},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this article, we attack the converse problem of explaining semantics as an artifact of syntax, in other words, of extracting the meaning of a program from syntactical considerations on its dynamics, or the way it interacts with the environment. We start the analysis with a very simple slogan, where we use module to mean procedure, in the fashion of (Girard 1987b):
