Substructural operational semantics as ordered logic programming (2009)

by Frank Pfenning, Robert J Simmons
Venue:In Logic In Computer Science, 2009. LICS’09. 24th Annual IEEE Symposium on