A Syntactic Abstraction for Rule-Based Languages with Binding

Michael Pedersen. A Syntactic Abstraction for Rule-Based Languages with Binding. Electronic Notes in Theoretical Computer Science, 277:53-64, 2011. [doi]

Abstract

Abstract is missing.