Skip to content

The Complexity of Subtype Entailment for Simple Types.

Fritz Henglein, Jakob Rehof

VenueA*LICS
Year1997
ProceedingsLICS

Browse the full LICS paper archive.