Axiomatizing Binding Bigraphs (2006)

by T. C. Damgaard , L. Birkedal
Venue:NORDIC JOURNAL OF COMPUTING
Citations:3 - 0 self