Syntactic Considerations on Recursive Types

Marcelo P. Fiore
LICS (1996), pp. 242-252

Abstract