Full Abstraction for the Second Order Subset of an Algol-Like Language.

Kurt Sieber

Browse the full MFCS paper archive.