Publicacions en què col·labora amb Dominique Duval (4)

2012

  1. A parameterization process: From a functorial point of view

    International Journal of Foundations of Computer Science, Vol. 23, Núm. 1, pp. 225-242

2010

  1. Diagrammatic logic applied to a parameterisation process

    Mathematical Structures in Computer Science, Vol. 20, Núm. 4, pp. 639-654

2006

  1. Towards Diagrammatic Specifications of Symbolic Computation Systems

    Dagstuhl Seminar Proceedings

2005

  1. Towards Diagrammatic Specifications of Symbolic Computation Systems.

    Dagstuhl Seminar Proceedings