Substructural Operational Semantics as Ordered Logic Programming.

Frank Pfenning, Robert J. Simmons

Browse the full LICS paper archive.