Dynamics of Algorithms
by
Francesca Costantini
,
Gianfranco Mascari
,
Marco Pedicini
BibTeX
@MISC{Costantini_dynamicsof,
author = {Francesca Costantini and Gianfranco Mascari and Marco Pedicini},
title = {Dynamics of Algorithms},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper represents an extended version of [16]. In the next section we describe partially additive categories. In section 3 we present the execution of pseudoalgorithms in the framework of the partially additive categories as a kind of iteration of endomorphisms. Moreover, we consider deadlock free pseudoalgorithms as to be characterized by a summability condition; concepts about structural aspects are organized via type discipline and type compatible dynamics.
Citations
| 541 | Linear Logic - Girard - 1987 |
| 325 | On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines - Blum, Shub, et al. - 1989 |
| 91 | Geometry of Interaction I: interpretation of system F - Girard - 1989 |
| 31 | Geometry of Interaction II: Deadlock-free Algorithms - Girard - 1990 |
| 14 | Monadic computation and iterative algebraic theories, in: Logic Colloquium ‘73 (eds - Elgot - 1975 |
| 5 | Logique lin'eaire. une repr'esentation alg'ebrique du calcul - Danos - 1989 |
| 5 | Multiplicatives' Rendiconti del Seminario Matematico dell' Universit'a e Politecnico Torino - Girard - 1987 |
| 2 | and Radha Jagadeesan (1994), `New Foundations for the Geometry of Interaction - Abramsky |
| 2 | A Dynamic Approach to Timed Behaviour', Lecture - Gunawardena - 1994 |
| 1 | New Models of Execution derived from Proof Nets - Danos, Regnier - 1993 |
