Axiomatizing binding bigraphs (2006)

by C D Damgaard, L Birkedal
Venue:Nordic Journal of Computing