Σ-monoids: A higher-order syntax with metavariables (2004)

by Free
Venue:In 2nd Asian Symp. on Programming Languages and Systems, Springer LNCS 3302