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 : jeudi 11 janvier 2018 - 06:19:44

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

58