Syntactic Considerations on Recursive Types

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

Abstract

Research Areas