Skip to content

Computing with Recursive Types (Extended Abstract)

Stavros S. Cosmadakis

VenueA*LICS
Year1989
ProceedingsLICS

Browse the full LICS paper archive.