Inductive-Data-Type Systems (2002)

by Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada