R.J.: Substructural operational semantics as ordered logic programming (2009)

by F Pfenning, Simmons
Venue:In: Logic in Comp. Sci