Skip to content

Terminal Algebra Semantics and Retractions for Abstract Data Types.

Gnter Hornung, Peter Raulefs

VenueA*ICALP
Year1980
ProceedingsICALP

Browse the full ICALP paper archive.