Inductive Data Type Systems: Strong Normalization (1997)

Cached

Download Links

by Jean-pierre Jouannaud , Mitsuhiro Okada
Citations:1 - 0 self