Syntactic considerations on recursive types (1996)

by Martín Abadi, Marcelo P Fiore
Venue:In LICS