C. Choppy

1 published title

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers

(Contributor)

1 edition