Jouannaud and Mitsuhiro Okada. Inductive data type systems (1997)

by Jean-Pierre
Venue:Theoretical Computer Science