Substructural operational semantics as ordered logic programming (2009)

by Frank Pfenning, Robert J Simmons
Venue:In Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science (LICS