Interfacing CDUCE and OCaml.

Julien Demouth

MyThS/MIKADO/DART Meeting, Venice, June 14-16 2004


Abstract