An Interaction Net Implementation of Additive and Multiplicative Structures

Type de document :
Article dans une revue
Journal of Logic and Computation, Oxford University Press (OUP), 2005, Journal of Logic and Computation, 15 (2), pp.219--237
Liste complète des métadonnées

https://hal.inria.fr/inria-00133311
Contributeur : Ian Mackie <>
Soumis le : dimanche 25 février 2007 - 14:05:17
Dernière modification le : mercredi 25 avril 2018 - 10:45:20

Identifiants

  • HAL Id : inria-00133311, version 1

Collections

Citation

Ian Mackie. An Interaction Net Implementation of Additive and Multiplicative Structures. Journal of Logic and Computation, Oxford University Press (OUP), 2005, Journal of Logic and Computation, 15 (2), pp.219--237. 〈inria-00133311〉

Partager

Métriques

Consultations de la notice

64