Syntactic Considerations on Recursive Types.

Martn Abadi, Marcelo P. Fiore

Browse the full LICS paper archive.