Axiomatizing binding bigraphs (0)

by T Damgaard, L Birkedal
Venue:Nordic Journal of Computing