On Recursive Free Types (1991)

by A Smith
Venue:in Z. RSRE Memorandum 91028. MOD PE, RSRE