Skip to content

General Structural Operational Semantics through Categorical Logic.

Sam Staton

VenueA*LICS
Year2008
ProceedingsLICS

Browse the full LICS paper archive.