Skip to content

Semantics and Logic of Object Calculi.

Bernhard Reus, Thomas Streicher

VenueA*LICS
Year2002
ProceedingsLICS

Browse the full LICS paper archive.