Inductive-Data-Type Systems (2002)

by Frederic Blanqui , Jean-Pierre Jouannaud , Mitsuhiro Okada
Citations:778 - 24 self