Inductive-Data-Type Systems (2002)

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