Article Dans Une Revue
Journal of Logic and Computation
Année : 2005
Ian Mackie : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00133311
Soumis le : dimanche 25 février 2007-14:05:17
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
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⟩
Collections
56
Consultations
0
Téléchargements