Inductive-Data-Type Systems (2002)

by Frederic Blanqui , Jean-Pierre Jouannaud , Mitsuhiro Okada
Citations:751 - 22 self