Publicaciones en colaboración con investigadores/as de Grenoble Alpes University (3)

2010

  1. Diagrammatic logic applied to a parameterisation process

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

2006

  1. Modeling Inheritance as coercion in the Kenzo System.

    Journal of Universal Computer Science, Vol. 12, Núm. 12, pp. 1701-1730

  2. Towards Diagrammatic Specifications of Symbolic Computation Systems

    Dagstuhl Seminar Proceedings