Inductive Data Type Systems (1997)

by Frédéric Blanqui , Jean-pierre Jouannaud , Mitsuhiro Okada
Venue:THEORETICAL COMPUTER SCIENCE
Citations:44 - 10 self