Syntactic considerations on recursive types (1996)

Cached

Download Links

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