Syntactic considerations on recursive types (1996)

by Marcelo P. Fiore
Venue:In Proceedings of the 11th Annual Symposium on Logic in Computer Science