An Interaction Net Implementation of Additive and Multiplicative Structures - Laboratoire d'informatique de l'école polytechnique Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2005

An Interaction Net Implementation of Additive and Multiplicative Structures

Fichier non déposé

Dates et versions

inria-00133311 , version 1 (25-02-2007)

Identifiants

  • HAL Id : inria-00133311 , version 1

Citer

Ian Mackie. An Interaction Net Implementation of Additive and Multiplicative Structures. Journal of Logic and Computation, 2005, Journal of Logic and Computation, 15 (2), pp.219--237. ⟨inria-00133311⟩
56 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More