Jump to Content

Syntactic Considerations on Recursive Types

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

Abstract

Research Areas